Theorem MulAction.stabilizerEquivStabilizer_one

Modification history

2025-05-14 09:23

Mathlib/GroupTheory/GroupAction/Basic.lean

feat(GroupTheory/GroupAction/Basic): equivalences between stabilizers (#24107) …

Added MulAction.stabilizerEquivStabilizer_one View on Github →