`BookProof.OdeUnitaryFlow.invMap_mob` {t x : ℝ} (hx : x ≠ 0) : invMap (mob t x) = invMap x

Initializing...

`BookProof.OdeUnitaryFlow.invMap_mob` {t x : ℝ} (hx : x ≠ 0) : invMap (mob t x) = invMap x - t · Prove2Me