P

Initializing...

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