`BookProof.BrstUnboundedLeakage.flow_truncGen_mem_domain` (t : ℝ) {x : H} (hx : x ∈ V) : flow (truncGen T V hV) t x ∈ T.domain

Initializing...

`BookProof.BrstUnboundedLeakage.flow_truncGen_mem_domain` (t : ℝ) {x : H} (hx : x ∈ V) : flow (truncGen T V hV) t x ∈ T.domain · Prove2Me