Skip to content

Remove notations deprecated in MathComp 1.17.0#89

Merged
pi8027 merged 1 commit intomath-comp:masterfrom proux01:mc_1201Apr 2, 2024

Commits

Commits on Apr 2, 2024