Timeline for Creating a tactic for 'destructing' a list by last element?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25 at 21:31 | comment | added | JoJoModding |
@AgnishomChattopadhyay there is also elim.
|
|
| Mar 24 at 19:16 | comment | added | Agnishom Chattopadhyay |
Thanks for this suggestion. However, writing induction in a destruction based proof feels rather odd to me
|
|
| Mar 23 at 22:50 | history | answered | JoJoModding | CC BY-SA 4.0 |