P
Initializing...
`BookProof.IrreversibleDynamics.dissipative_nonsingular` {A : Set ℝ} (h : 0 < volume A) : 0 < volume (dissipative '' A) · Prove2Me