`BookProof.BrstLeakage.flow_mem_ker_omega` {A Om : E →L[ℂ] E} (h : Commute A Om) (t : ℝ) {x : E} (hx : Om x = 0) : Om (flow A t x) = 0

Initializing...

`BookProof.BrstLeakage.flow_mem_ker_omega` {A Om : E →L[ℂ] E} (h : Commute A Om) (t : ℝ) {x : E} (hx : Om x = 0) : Om (flow A t x) = 0 · Prove2Me