Theorem QuadraticModuleCat.forget₂_map

Modification history