P
Initializing...
Theorem 2.4.13 (GOAL) — the Structure Assumption from pointwise compactness alone · Prove2Me