Theorem AlgebraCat.forget₂_module_obj

Modification history