Theorem: SciLean.Measure.prod_volume (SciLean/Core/Integral/Common.lean)

State before:
X : Type u_1
Y : Type u_2
inst✝¹ : MeasureSpace X
inst✝ : MeasureSpace Y
⊢ Measure.prod volume volume = volume
Tactic:
sorry_proof
State after:
no goals