Theorem DomMulAct.stabilizer_card:

Modification history

2024-07-09 09:09

Mathlib/GroupTheory/Perm/DomMulAct.lean

chore: add missing spaces around = or := (#14554) …

Deleted DomMulAct.stabilizer_card:View on Github →

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.stabilizer_card:View on Github →