Theorem not_lt_iff_not_le_or_ge

Modification history

2025-01-20 04:11

Mathlib/Order/Basic.lean

feat(SetTheory/Order/Basic): not_lt_iff_not_le_or_ge (#19973) …

Added not_lt_iff_not_le_or_ge View on Github →