P
Initializing...
Galois equivariance of the diagonal embedding of global units · Prove2Me