Theorem Equiv.Perm.IsThreeCycle.card_support

Modification history

2025-03-29 18:40
Mathlib/GroupTheory/Perm/Cycle/Type.lean
chore(*): use `#s` notation here and there (#23438)
Modified Equiv.Perm.IsThreeCycle.card_supportView on Github →
2023-04-05 09:20
Mathlib/GroupTheory/Perm/Cycle/Type.lean
feat: port GroupTheory.Perm.Cycle.Type (#3027)
Added Equiv.Perm.IsThreeCycle.card_supportView on Github →