Theorem MulAction.stabilizerEquivStabilizer_symm_apply

Modification history

2025-05-14 09:23

Mathlib/GroupTheory/GroupAction/Basic.lean

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

Added MulAction.stabilizerEquivStabilizer_symm_apply View on Github →