Theorem AddAction.stabilizerEquivStabilizer_symm

Modification history

2026-05-27 15:09
Mathlib/GroupTheory/GroupAction/Basic.lean
refactor(GroupTheory/*): additivize `AddAut` (#39884) …
Deleted AddAction.stabilizerEquivStabilizer_symmView on Github →
2025-05-14 09:23
Mathlib/GroupTheory/GroupAction/Basic.lean
feat(GroupTheory/GroupAction/Basic): equivalences between stabilizers (#24107) …
Added AddAction.stabilizerEquivStabilizer_symmView on Github →