Semigrp

Statistics

Name	Category	Theorems
`Semigrp` 📖	CompData	19 math math: `Semigrp.hom_comp`, `Semigrp.ofHom_comp`, `Semigrp.hom_inv_apply`, `Semigrp.inv_hom_apply`, `Semigrp.id_apply`, `Semigrp.hom_id`, `Semigrp.forget₂_full`, `Semigrp.ext_iff`, `Semigrp.comp_apply`, `Semigrp.forgetReflectsIsos`, `MonCat.adjoinOne_obj_coe`, `MonCat.adjoinOne_map`, `MulEquiv.toSemigrpIso_inv`, `Semigrp.ofHom_id`, `Semigrp.coe_id`, `MulEquiv.toSemigrpIso_hom`, `Semigrp.ofHom_apply`, `Semigrp.forget_map`, `Semigrp.coe_comp`

---