Commit 2025-01-20 04:11 510fdca8

View on Github →

feat(SetTheory/Order/Basic): not_lt_iff_not_le_or_ge (#19973) Adds not_lt_iff_not_le_or_ge to produce not_lt in complement of not_lf and not_le.

Estimated changes