P
Initializing...
Claim 5.0.6 — the weak dual embeds in the limit of the finite-dimensional spaces $V^*_\Phi$ · Prove2Me