Theorem CategoryTheory.CommAlgCat.forget₂_commRingCat_map

Modification history