P
Initializing...
Degree-zero divisor Galois trace over a rational quotient is principal · Prove2Me