Theorem covBy_iff_lt_iff_le_left

Modification history

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