Proposition 14 around any IStmt C-layer, with one-pass phases. -/ theorem p14Ph_iruns (hρ : ρ < K) (hD : 1…

Initializing...

Proposition 14 around any IStmt C-layer, with one-pass phases. -/ theorem p14Ph_iruns (hρ : ρ < K) (hD : 1… · Prove2Me