P
Initializing...
Theorem 2 — faces along an increasing chain meet; regular implies complete · Prove2Me