minimal changes to documentation to test coq2html#1108
Merged
affeldt-aist merged 6 commits intomath-comp:masterfrom Jan 8, 2024
Merged
minimal changes to documentation to test coq2html#1108affeldt-aist merged 6 commits intomath-comp:masterfrom
affeldt-aist merged 6 commits intomath-comp:masterfrom
Commits
Commits on Jan 8, 2024
- committed
- committed
- committed
- committed
- committed
- committed
