Theorem DomMulAct.stabilizerEquiv_invFun_eq

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_eqView on Github →