Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measure_theory.probability_measure.eq_of_forall_measure_apply_eq

Modification history

2022-11-26 00:19
src/measure_theory/measure/probability_measure.lean
feat(measure_theory/measure/probability_measure): Add a bit of simple API to probability_measure. (#17610) …
Added measure_theory.probability_measure.eq_of_forall_measure_apply_eqView on Github →