Theorem measurable_to_encodable
Modification history
2022-08-30 13:54
src/measure_theory/measurable_space.lean
chore(analysis, measure_theory): Fix lint (#16216) …
Deleted measurable_to_encodableView on Github →2022-03-07 19:47
src/measure_theory/measurable_space.lean
feat(probability_theory/stopping): define progressively measurable processes (#11350) …
Modified measurable_to_encodableView on Github →2022-01-05 11:32
src/measure_theory/measurable_space.lean
chore(measure_theory/measurable_space): use implicit measurable_space argument (#11230) …
Modified measurable_to_encodableView on Github →2021-02-02 21:38
src/measure_theory/measurable_space.lean
refactor(measure_theory/*): rename `is_(null_)?measurable` to `(null_)?measurable_set` (#6001) …
Modified measurable_to_encodableView on Github →