Theorem not_top_covBy

Modification history

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