Timeline for Automated search for bijective proofs
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 10, 2017 at 19:54 | vote | accept | Timothy Chow | ||
| Dec 9, 2017 at 9:25 | history | answered | FindStat | CC BY-SA 3.0 |