P
Initializing...
Claim 5.0.5 — every linear functional on $V_{\mathrm{init}}$ is continuous · Prove2Me