P
Initializing...
Theorem 21 — duality is symmetric · Prove2Me