Def AddAction.stabilizerEquivStabilizer

Modification history

2025-05-14 09:23

Mathlib/GroupTheory/GroupAction/Basic.lean

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

Added AddAction.stabilizerEquivStabilizer View on Github →