`BookProof.ChapterG.evolution_conserves_probability` {X : Type*} [MeasurableSpace X] (μ : Measure X) [IsProbabilityMeasure μ] (T : X → X) (hT : Measurable T) : IsProbabilityMeasure

Initializing...

`BookProof.ChapterG.evolution_conserves_probability` {X : Type*} [MeasurableSpace X] (μ : Measure X) [IsProbabilityMeasure μ] (T : X → X) (hT : Measurable T) : IsProbabilityMeasure · Prove2Me