Theorem DomMulAct.comp_stabilizerEquiv_invFun

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.comp_stabilizerEquiv_invFunView on Github →