Theorem isStable_toDual_comp_iff

Modification history

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