mathlib
e3db2e78 - feat(group_theory/complement): Criterion for complementary subgroups (#13292)

Commit

3 years ago

feat(group_theory/complement): Criterion for complementary subgroups (#13292) This lemma gives a criterion for a stabilizer subgroup to be a complementary subgroup.

Author

tb65536

Parents

fdd68d9b

mathlib e3db2e78 - feat(group_theory/complement): Criterion for complementary subgroups (#13292)

mathlib
e3db2e78 - feat(group_theory/complement): Criterion for complementary subgroups (#13292)