Skip to content

Adapt to math-comp/math-comp#1580#118

Merged
spitters merged 1 commit into
SSProve:mainfrom
pi8027:mc-1580
May 2, 2026
Merged

Adapt to math-comp/math-comp#1580#118
spitters merged 1 commit into
SSProve:mainfrom
pi8027:mc-1580