Skip to content

Adapt to https://github.com/math-comp/math-comp/pull/1618#92

Merged
proux01 merged 1 commit into
math-comp:masterfrom
proux01:rocq1618
Jun 26, 2026
Merged

Adapt to https://github.com/math-comp/math-comp/pull/1618#92
proux01 merged 1 commit into
math-comp:masterfrom
proux01:rocq1618