Coinductive definition of the conatural numbers#1232
Merged
EgbertRijke merged 14 commits intoUniMath:masterfrom fredrik-bakke:conaturalJan 4, 2025
+822-31
Commits
Commits on Jan 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- authored
