Theorem covBy_iff_le_iff_lt_right

Modification history

2026-02-06 22:51
Mathlib/Order/Cover.lean
chore(Order/Cover): use `to_dual` (#34880) …
Deleted covBy_iff_le_iff_lt_rightView on Github →
2024-11-03 18:36
Mathlib/Order/Cover.lean
feat(Order/Cover): `covBy_iff_lt_iff_le` (#18418)
Added covBy_iff_le_iff_lt_rightView on Github →