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

Initializing...

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