Def DomMulAct.stabilizerEquiv_invFun_aux

Modification history

2024-01-06 18:06

Mathlib/GroupTheory/Perm/DomMulAct.lean

feat(GroupTheory/Perm/DomMulAct) : Subgroup of `Equiv.Perm α` preserving a function `p : α → ι` (#9342) …

Added DomMulAct.stabilizerEquiv_invFun_aux View on Github →