Theorem Tuple.eq_sortDesc_iff

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.eq_sortDesc_iff View on Github →