Skip to content

Use From systematically#1348

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
proux01:from_mathcomp
Oct 23, 2024
Merged

Use From systematically#1348
affeldt-aist merged 1 commit intomath-comp:masterfrom
proux01:from_mathcomp

Commits

Commits on Oct 17, 2024