Commit 2024-11-03 18:36 96795d47

View on Github →

feat(Order/Cover): covBy_iff_lt_iff_le (#18418)

Estimated changes

Modified Mathlib/Order/Cover.lean

added theorem covBy_iff_le_iff_lt_left

added theorem covBy_iff_le_iff_lt_right

added theorem covBy_iff_lt_iff_le_left

added theorem covBy_iff_lt_iff_le_right