The category of concrete groups
module group-theory.category-of-concrete-groups where
Imports
Definitions
The category of concrete groups
-- is-category-Concrete-Group-Large-Precat : -- is-category-Large-Precat Concrete-Group-Large-Precat -- is-category-Concrete-Group-Large-Precat = {!!}