P
Initializing...
Thm. 5.0.1 — completeness of weak duals · Prove2Me