Theorem CommAlgCat.forget₂_algCat_map

Modification history