`BookProof.ChapterProbabilityInterface.translated_event_probability` {X Y : Type*} [MeasurableSpace X] [MeasurableSpace Y] (e : X ≃ᵐ Y) (μ : Measure X) (s : Set Y) (hs : Measurable

Initializing...

`BookProof.ChapterProbabilityInterface.translated_event_probability` {X Y : Type*} [MeasurableSpace X] [MeasurableSpace Y] (e : X ≃ᵐ Y) (μ : Measure X) (s : Set Y) (hs : Measurable · Prove2Me