Theorem CategoryTheory.CommAlgCat.forget₂_algCat_obj

Modification history