Theorem covBy_iff_le_iff_lt_left

Modification history

2024-11-03 18:36
Mathlib/Order/Cover.lean
feat(Order/Cover): `covBy_iff_lt_iff_le` (#18418)
Added covBy_iff_le_iff_lt_leftView on Github →