Def MulAction.stabilizerEquivStabilizer

Modification history

2025-05-14 09:23
Mathlib/GroupTheory/GroupAction/Basic.lean
feat(GroupTheory/GroupAction/Basic): equivalences between stabilizers (#24107) …
Added MulAction.stabilizerEquivStabilizerView on Github →