Skip to content

rm warning caused by lack of archimedean#28

Merged
affeldt-aist merged 1 commit intocoq-community:masterfrom affeldt-aist:fix_mathcomp_ciNov 16, 2024
+5-4

Commits

Commits on Nov 16, 2024