Mathlib v3 is deprecated. Go to Mathlib v4

Def subgroup.is_complement

Modification history

2021-07-24 15:30

src/group_theory/complement.lean

feat(group_theory/complement): define subgroup complement, prove Schur-Zassenhaus (#8008) …

Added subgroup.is_complement View on Github →