Complete proofs for simple functions and AlmostAlways lemmas#423
Merged
teorth merged 13 commits intoteorth:mainfrom Dec 25, 2025
Merged
Complete proofs for simple functions and AlmostAlways lemmas#423teorth merged 13 commits intoteorth:mainfrom
teorth merged 13 commits intoteorth:mainfrom
Commits
Commits on Dec 20, 2025
Commits on Dec 22, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed