`BookProof.IrreversibleDynamics.dissipative_volume_image` (A : Set ℝ) : volume (dissipative '' A) = volume A / 2

Initializing...

`BookProof.IrreversibleDynamics.dissipative_volume_image` (A : Set ℝ) : volume (dissipative '' A) = volume A / 2 · Prove2Me