P
Initializing...
Theorem 23 — duals iff bases correspond to base complements · Prove2Me