P

Initializing...

Trdeg-one essentially finite-type fields are finite over a simple transcendental adjunction · Prove2Me