P
Initializing...
$F_v\otimes_F K\cong\prod_{w\mid v}K_w$ for number fields · Prove2Me