`BookProof.OdeUnitaryFlow.mob_neg_mob` (t x : ℝ) (hx : x ∈ flowDom t) : mob (-t) (mob t x) = x

Initializing...

`BookProof.OdeUnitaryFlow.mob_neg_mob` (t x : ℝ) (hx : x ∈ flowDom t) : mob (-t) (mob t x) = x · Prove2Me