Theorem Subgroup.map_toSubmonoid

Modification history

2025-07-04 10:05
Mathlib/Algebra/Group/Subgroup/Map.lean
chore: whitespace before `:` (#26727) …
Modified Subgroup.map_toSubmonoidView on Github →
2025-04-30 10:47
Mathlib/Algebra/Group/Subgroup/Map.lean
feat(QuotientGroup): surjectivity and kernel of `QuotientGroup.map` (#23205) …
Added Subgroup.map_toSubmonoidView on Github →