Adapt to https://github.com/math-comp/math-comp/pull/1456#115
Merged
4ever2 merged 1 commit intoSSProve:mainfrom Apr 4, 2026
Merged
Adapt to https://github.com/math-comp/math-comp/pull/1456#1154ever2 merged 1 commit intoSSProve:mainfrom
4ever2 merged 1 commit intoSSProve:mainfrom
