Theorem Subgroup.mk_goursatFst_eq_iff_mk_goursatSnd_eq

Modification history

2024-11-28 16:12
Mathlib/GroupTheory/Goursat.lean
feat: Goursat's lemma for subgroups (#18823) …
Added Subgroup.mk_goursatFst_eq_iff_mk_goursatSnd_eqView on Github →