Theorem CommAlgCat.forget₂_algCat_obj

Modification history