Theorem sign_finRotate

Modification history

2026-05-11 19:07

Mathlib/GroupTheory/Perm/Fin.lean

feat(Perm/Fin): generalize `sign_finRotate` (#39209)

Modified sign_finRotate View on Github →

2023-04-07 16:43

Mathlib/GroupTheory/Perm/Fin.lean

feat: port GroupTheory.Perm.Fin (#3288)

Added sign_finRotate View on Github →