Theorem Tuple.unique_antitone

Modification history

2025-03-21 09:08
Mathlib/Data/Fin/Tuple/Sort.lean
chore(Tuple/Sort): dualize `unique_monotone` to `unique_antitone` (#23046) …
Added Tuple.unique_antitoneView on Github →