[ add ] ∸-suc lemma for natural numbers#2757
Merged
jamesmckinna merged 6 commits intoagda:masterfrom Jul 28, 2025
Merged
Commits
Commits on Jul 28, 2025
- committed
- committed
- committed
- committed
- authored andcommitted
- committed
