Theorem CommAlgCat.forget₂_commRingCat_map

Modification history