Theorem Quotient.lift_surjective_iff

Modification history

2025-04-30 10:47
Mathlib/Data/Quot.lean
feat(QuotientGroup): surjectivity and kernel of `QuotientGroup.map` (#23205) …
Added Quotient.lift_surjective_iffView on Github →