Theorem ConjAct.stabilizer_eq_centralizer

Modification history

2023-07-27 07:08
Mathlib/GroupTheory/GroupAction/ConjAct.lean
chore(GroupTheory): forward-port leanprover-community/mathlib#18965 (#6147)
Modified ConjAct.stabilizer_eq_centralizerView on Github →
2023-01-27 09:47
Mathlib/GroupTheory/GroupAction/ConjAct.lean
feat: port GroupTheory.GroupAction.ConjAct (#1871) …
Added ConjAct.stabilizer_eq_centralizerView on Github →