`BookProof.IrreversibleDynamics.dissipative_mapsTo_unitInterval` : Set.MapsTo dissipative (Set.Icc (0 : ℝ) 1) (Set.Icc (0 : ℝ) 1)

Initializing...

`BookProof.IrreversibleDynamics.dissipative_mapsTo_unitInterval` : Set.MapsTo dissipative (Set.Icc (0 : ℝ) 1) (Set.Icc (0 : ℝ) 1) · Prove2Me