borel_space): a set with `μ (∂ s) = 0` is null measurable (#13322)

Commit

3 years ago

feat(measure_theory/constructions/borel_space): a set with `μ (∂ s) = 0` is null measurable (#13322)

Author

urkud

Parents