Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.centralizer_univ

Modification history

2023-07-24 08:57

src/group_theory/subgroup/basic.lean

fix(group_theory/subgroup/basic): generalize `centralizer` from `subgroup G` to `set G` (#18965) …

Added subgroup.centralizer_univ View on Github →