P
Initializing...
Degree formula $\sum_{w\mid v}[K_w:F_v]=[K:F]$ at a finite place · Prove2Me