P
Initializing...
`BookProof.IrreversibleDynamics.dissipative_nonsingular_Icc` {a b : ℝ} (h : a < b) : 0 < volume (dissipative '' Set.Icc a b) · Prove2Me