`BookProof.OdeUnitaryFlow.mob_neg_eq_classicalSol` (x₀ t : ℝ) : mob (-t) x₀ = classicalSol x₀ t

Initializing...

`BookProof.OdeUnitaryFlow.mob_neg_eq_classicalSol` (x₀ t : ℝ) : mob (-t) x₀ = classicalSol x₀ t · Prove2Me