Timeline for Inductive vs. recursive definitions
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 2, 2023 at 14:43 | history | edited | Meven Lennon-Bertrand♦ | CC BY-SA 4.0 |
added 6 characters in body
|
| May 2, 2023 at 13:51 | history | answered | Meven Lennon-Bertrand♦ | CC BY-SA 4.0 |