Theorem DomMulAct.stabilizerMulEquiv_apply

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