fixes #330 (floor and ceil subsumed by MathComp)#1244
Merged
affeldt-aist merged 7 commits intomath-comp:masterfrom affeldt-aist:fixes_330Jul 16, 2024
+332-294
Commits
Commits on Jul 11, 2024
- committed
Commits on Jul 12, 2024
- committed
Commits on Jul 15, 2024
- committed