P

Initializing...

Theorem 3.6, p. 20 — X°^JCC ⊆ ⋃_{α>0} Z^JCC(α) ⊆ X^JCC · Prove2Me