Theorem not_covBy_iff_exists_mem_Ioo

Modification history

2026-04-21 17:27
Mathlib/Order/Cover.lean
chore(Topology/Order/Basic): use `to_dual` (#37780)
Added not_covBy_iff_exists_mem_IooView on Github →