Theorem countable_setOf_covBy_right

Modification history

2026-07-17 09:57
Mathlib/Topology/Order/Basic.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Deleted countable_setOf_covBy_rightView on Github →
2025-12-05 15:16
Mathlib/Topology/Order/Basic.lean
chore: add `variable [OrderTopology α]` (#32452)
Modified countable_setOf_covBy_rightView on Github →
2024-07-27 08:25
Mathlib/Topology/Order/Basic.lean
chore: robustifying for debug.byAsSorry (part 10) (#15164)
Modified countable_setOf_covBy_rightView on Github →
2024-01-09 09:25
Mathlib/Topology/Order/Basic.lean
chore(Covby): rename `Covby` to `CovBy` (#9578) …
Added countable_setOf_covBy_rightView on Github →