Mathlib Changelog
v4
Changelog
About
Github
Theorem
Subgroup.normal_goursatSnd
Modification history
2024-11-28 16:12
Mathlib/GroupTheory/Goursat.lean
feat: Goursat's lemma for subgroups (#18823) …
Added
Subgroup.normal_goursatSnd
View on Github →