P
Initializing...
Proof of Proposition 7, p. 29 — Δ_H < Λ_{H1} · Prove2Me