`BookProof.NsScalarVectorCurry.curryLI_indicator_prod` {s : Set V} {t : Set W} (hs : MeasurableSet s) (ht : MeasurableSet t) (hμs : μ s ≠ ∞) (hνt : ν t ≠ ∞) (hst : (μ.prod ν) (s ×ˢ

Initializing...

`BookProof.NsScalarVectorCurry.curryLI_indicator_prod` {s : Set V} {t : Set W} (hs : MeasurableSet s) (ht : MeasurableSet t) (hμs : μ s ≠ ∞) (hνt : ν t ≠ ∞) (hst : (μ.prod ν) (s ×ˢ · Prove2Me