Theorem borel_eq_top_of_countable

Modification history

2024-09-03 16:29
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
feat(MeasurableSpace): SeparatesPoints -> MeasurableSingletonClass (#16288) …
Modified borel_eq_top_of_countableView on Github →
2023-05-21 12:07
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
feat: port MeasureTheory.Constructions.BorelSpace.Basic (#4018)
Added borel_eq_top_of_countableView on Github →