Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-21 15:40 9c39019f

View on Github →

refactor(src/order/bounded): Invert iff direction (#11582) That way, unbounded_gt_iff_unbounded_ge corresponds to unbounded_lt_iff_unbounded_le.

Estimated changes