Theorem Subgroup.Normal.of_conjugate_fixed

Modification history

2024-12-01 09:31
Mathlib/Algebra/Group/Subgroup/Pointwise.lean
feat(FieldTheory/Galois): Lemmas of galois theory (#16979) …
Added Subgroup.Normal.of_conjugate_fixedView on Github →