Skip to content

Adapt to rocq#19987#1532

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
Tragicus:rocq19987
May 22, 2025
Merged

Adapt to rocq#19987#1532
affeldt-aist merged 1 commit intomath-comp:masterfrom
Tragicus:rocq19987

Commits

Commits on Mar 24, 2025