Theorem CategoryTheory.CommAlgCat.forget₂_commRingCat_obj

Modification history