$(CGLP)_k$ apparatus of Ch. 8, with bases and Theorem 6.4's strengthening (corrected) · Prove2Me

P

Initializing...

$(CGLP)_k$ apparatus of Ch. 8, with bases and Theorem 6.4's strengthening (corrected) · Prove2Me