`BookProof.ChapterG.gauge_constraint_pushforward_full_measure` {X : Type*} [MeasurableSpace X] (μ : Measure X) [IsProbabilityMeasure μ] (q : X → X) (hq : Measurable q) (C : Set X)

Initializing...

`BookProof.ChapterG.gauge_constraint_pushforward_full_measure` {X : Type*} [MeasurableSpace X] (μ : Measure X) [IsProbabilityMeasure μ] (q : X → X) (hq : Measurable q) (C : Set X) · Prove2Me