Make definition of ε-net use zero-based indexing#1183
Closed
Bolpat wants to merge 2 commits intoHoTT:masterfrom
Closed
Make definition of ε-net use zero-based indexing#1183Bolpat wants to merge 2 commits intoHoTT:masterfrom
Bolpat wants to merge 2 commits intoHoTT:masterfrom
Commits
Commits on Jul 1, 2025
- committed
Quirin Schroll - committedQuirin Schroll