P
Initializing...
$K\otimes_{\mathbb Q}\mathbb R \cong \mathbb R^{r_1}\times\mathbb C^{r_2}$ · Prove2Me