Theorem TopModuleCat.forget₂_TopCat_obj

Modification history