Fan of the affine line (source code)

= Fan of the affine line

The fan $\{0,\mathbb R_{\geq0}\}$ in $\mathbb R$ defines the affine line $\mathbb A^1$.