P
Initializing...
The Leopoldt defect of a CM field equals that of its maximal real subfield · Prove2Me