$\mathbb{P}^1_k \times \mathbb{P}^1_k \not\cong \mathbb{P}^2_k$ - Androma

$\mathbb{P}^1_k \times \mathbb{P}^1_k \not\cong \mathbb{P}^2_k$

$\mathbb{P}^1_k \times \mathbb{P}^1_k \not\cong \mathbb{P}^2_k$

No pull requests yet

Pull requests let you propose changes to this theorem's content.

Create Pull Request