mathlib3
b2be1eeb - feat(measure_theory/measure_space): add 3 typeclasses (#3664)

Commit

5 years ago

feat(measure_theory/measure_space): add 3 typeclasses (#3664) Define `probability_measure`, `finite_measure`, and `locally_finite_measure`.

Author

urkud

Parents