Theorem AlgCat.forget₂_module_map

Modification history