Theorem List.formPerm_apply_get_length

Modification history

2025-03-04 03:24

Mathlib/GroupTheory/Perm/List.lean

chore: remove >6 month old deprecations (#22473)

Deleted List.formPerm_apply_get_length View on Github →

2024-06-12 01:24

Mathlib/GroupTheory/Perm/List.lean

chore(GroupTheory/Perm/List): nthLe -> get migration (#13446) …

Added List.formPerm_apply_get_length View on Github →