Adapt to https://github.com/math-comp/math-comp/pull/1169#52#38
Merged
aleksnanevski merged 1 commit intomasterfrom May 5, 2025
Merged
Adapt to https://github.com/math-comp/math-comp/pull/1169#52#38aleksnanevski merged 1 commit intomasterfrom
aleksnanevski merged 1 commit intomasterfrom
