Theorem Tuple.comp_perm_comp_sortDesc_eq_comp_sortDesc

Modification history

2026-10-16 19:45
Mathlib/Data/Fin/Tuple/Sort.lean
feat(Data/Fin/Tuple/Sort): add descending sort `Tuple.sortDesc` (#43741) …
Added Tuple.comp_perm_comp_sortDesc_eq_comp_sortDescView on Github →