Theorem StrictAnti.le_iff_ge

Modification history

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