Skip to content

adapt to rocq#19987#67

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

adapt to rocq#19987#67
proux01 merged 1 commit intomath-comp:masterfrom
Tragicus:rocq19987

Commits

Commits on Mar 21, 2025