Theorem DomMulAct.mem_stabilizer_iff

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