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

P

Initializing...

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