P
Initializing...
Leopoldt's conjecture holds in CM fields for odd $p$ · Prove2Me