`BookProof.BrstLeakage.flow_truncGen_mem` {P H : E →L[ℂ] E} (hP : IsIdempotentElem P) (t : ℝ) {x : E} (hx : P x = x) : P (flow (truncGen P H) t x) = flow (truncGen P H) t x

Initializing...

`BookProof.BrstLeakage.flow_truncGen_mem` {P H : E →L[ℂ] E} (hP : IsIdempotentElem P) (t : ℝ) {x : E} (hx : P x = x) : P (flow (truncGen P H) t x) = flow (truncGen P H) t x · Prove2Me