Skip to content

[extra-dev] Rename mathcomp-altreals to mathcomp-experimental-reals#3198

Merged
proux01 merged 1 commit intocoq:masterfrom proux01:mathcomp-experimental-realsNov 12, 2024