Theorem WithTop.not_covBy_top

Modification history

2026-05-01 13:07
Mathlib/Order/Cover.lean
feat: interactions between `IsSuccLimit` and `WithTop` (#38244)
Added WithTop.not_covBy_topView on Github →