P
Initializing...
Theorem 2.6 — the Invariant Extension Theorem · Prove2Me