borel_space): two measures are equal if they agree on closed-open intervals (#9396)

Commit

4 years ago

feat(measure_theory/construction/borel_space): two measures are equal if they agree on closed-open intervals (#9396) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

kex-y

Parents

468a9d56

mathlib 8159af67 - feat(measure_theory/construction/borel_space): two measures are equal if they agree on closed-open intervals (#9396)

mathlib
8159af67 - feat(measure_theory/construction/borel_space): two measures are equal if they agree on closed-open intervals (#9396)