Theorem countable_setOf_covBy_left

Modification history

2024-07-27 08:25

Mathlib/Topology/Order/Basic.lean

chore: robustifying for debug.byAsSorry (part 10) (#15164)

Modified countable_setOf_covBy_left View on Github →

2024-01-09 09:25

Mathlib/Topology/Order/Basic.lean

chore(Covby): rename `Covby` to `CovBy` (#9578) …

Added countable_setOf_covBy_left View on Github →