Commit 2022-04-11 11:52 ebbe763f
View on Github →feat(measure_theory/constructions/borel_space): a set with μ (∂ s) = 0 is null measurable (#13322)
feat(measure_theory/constructions/borel_space): a set with μ (∂ s) = 0 is null measurable (#13322)