`BookProof.IrreversibleDynamics.dissipative_injective` : Function.Injective dissipative

Initializing...

`BookProof.IrreversibleDynamics.dissipative_injective` : Function.Injective dissipative · Prove2Me