Claim 5.0.7 — the weak dual of $V_{\mathrm{init}}$ is the whole limit · Prove2Me

P

Initializing...

Claim 5.0.7 — the weak dual of $V_{\mathrm{init}}$ is the whole limit · Prove2Me