P
Initializing...
(4) in the proof of Theorem 1.4 — Nᵗ(K) ⊆ cone(K ∩ F̄) · Prove2Me