Theorem AlgebraCat.forget₂_module_map

Modification history