Totally bounded sets are propositionally decidable#1625
Merged
fredrik-bakke merged 15 commits intoUniMath:masterfrom Nov 6, 2025
Merged
Totally bounded sets are propositionally decidable#1625fredrik-bakke merged 15 commits intoUniMath:masterfrom
fredrik-bakke merged 15 commits intoUniMath:masterfrom
Commits
Commits on Oct 24, 2025
- committed
- andauthored
- andauthored
- andauthored
- andauthored
- andauthored
- committed
- committed
- committed
