Skip to content

Allow rocq 9.1#1832

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
garrigue:master-local
Feb 2, 2026
Merged

Allow rocq 9.1#1832
affeldt-aist merged 1 commit intomath-comp:masterfrom
garrigue:master-local

Commits

Commits on Jan 30, 2026