P
Initializing...
Unit rank of a totally real field: $r = [K:\mathbb{Q}] - 1$ · Prove2Me