Theorem Fin.succAbove_le_iff

Modification history

2026-08-27 12:57
Mathlib/Data/Fin/SuccPred.lean
feat(GroupTheory/Perm): another decomposition of permutations of `Fin (n + 2)` (#43168) …
Added Fin.succAbove_le_iffView on Github →