P
Initializing...
The Leopoldt defect is invariant under isomorphism · Prove2Me