Theorem QuotientGroup.lift_comp_mk'

Modification history

2025-04-30 10:47
Mathlib/GroupTheory/QuotientGroup/Defs.lean
feat(QuotientGroup): surjectivity and kernel of `QuotientGroup.map` (#23205) …
Added QuotientGroup.lift_comp_mk'View on Github →