Theorem CovBy.isLUB_Iio_of_linearOrder

Modification history

2026-09-13 22:38
Mathlib/Order/Cover.lean
feat(Order/SuccPred/Limit): small theorems and generalizations (#42480) …
Added CovBy.isLUB_Iio_of_linearOrderView on Github →