$\operatorname{Con}(\mathbb{C}(x)) = \mathbb{C}$ · Prove2Me

P

Initializing...

$\operatorname{Con}(\mathbb{C}(x)) = \mathbb{C}$ · Prove2Me