Theorem AlgCat.forget₂_module_obj

Modification history