Theorem DomMulAct.stabilizer_card'

Modification history

2025-07-04 10:05
Mathlib/GroupTheory/Perm/DomMulAct.lean
chore: whitespace before `:` (#26727) …
Added DomMulAct.stabilizer_card'View on Github →