Theorem measurable_ciInf
Modification history
2023-09-07 11:10
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
feat: sups and limsups are measurable in conditionally complete linear orders (#6979) …
Deleted measurable_ciInfView on Github →