`BookProof.IrreversibleDynamics.dissipative_volume_Icc` (a b : ℝ) : volume (dissipative '' Set.Icc a b) = ENNReal.ofReal ((b

Initializing...

`BookProof.IrreversibleDynamics.dissipative_volume_Icc` (a b : ℝ) : volume (dissipative '' Set.Icc a b) = ENNReal.ofReal ((b - a) / 2) · Prove2Me