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