Theorem MeasureTheory.Measure.snd_zero

Modification history

2023-07-25 13:48
Mathlib/MeasureTheory/Constructions/Prod/Basic.lean
chore(Probability.Kernel): drop AEMeasurable assumptions (#6129)
Added MeasureTheory.Measure.snd_zeroView on Github →