P

Initializing...

Theorem 1, p. 1431 — if G ≥ 0 and g ≥ 0, the pit limit of a minimal optimal PCPSP-C solution lies inside that of U-PIT · Prove2Me