Theorem MeasurableSpace.ae_induction_on_inter

Modification history

2024-08-09 00:58
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
chore: backports for leanprover/lean4#4814 (part 24) (#15520)
Modified MeasurableSpace.ae_induction_on_interView on Github →
2023-09-29 13:54
Mathlib/MeasureTheory/Measure/MeasureSpaceDef.lean
feat(Probability/Kernel/Disintegration): Uniqueness of the disintegration kernel (#6110)
Added MeasurableSpace.ae_induction_on_interView on Github →