Theorem StrictAntiOn.lt_iff_gt

Modification history

2025-08-13 12:33
Mathlib/Order/Monotone/Basic.lean
chore(Order/Monotone/Basic): use new ge/gt naming convention (#28314) …
Added StrictAntiOn.lt_iff_gtView on Github →