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

Initializing...

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