Skip to content

to avoid a universe inconsistency with ring#1287

Merged
proux01 merged 1 commit intomath-comp:masterfrom affeldt-aist:wochoice_20240808Aug 8, 2024