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