Theorem CategoryTheory.CommAlgCat.forget₂_algCat_map

Modification history