Timeline for Proving `succ_mul` without using `nth_rewrite`
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17 at 12:07 | answer | added | whowatchlist | timeline score: 1 | |
| Jun 1 at 23:21 | history | edited | Greg Nisbet | CC BY-SA 4.0 |
edited body
|
| Jun 1 at 22:00 | vote | accept | Greg Nisbet | ||
| Jun 1 at 21:25 | answer | added | Kevin Buzzard | timeline score: 1 | |
| Jun 1 at 20:03 | history | asked | Greg Nisbet | CC BY-SA 4.0 |