Theorem CommAlgCat.forget₂_commRingCat_obj

Modification history