Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-19 04:28 b0520a31

View on Github →

feat(algebra/order): define forall_lt_iff_le and forall_lt_iff_le' (#1707)

Estimated changes

added theorem forall_lt_iff_le'
added theorem forall_lt_iff_le