Issues
- 0
Show that functions on P^n are constant.
#16 opened by MatthiasHu - 10
- 0
Formalize the Segre-Embedding
#33 opened by felixwellen - 1
Define 'D(f)'
#31 opened by felixwellen - 0
Formalize the Veronese map
#24 opened by MatthiasHu - 3
A^1 does not satisfy plain choice
#21 opened by MatthiasHu - 0
Rename 'k' to 'R'
#20 opened by felixwellen - 3
- 0
Prove weak Nullstellensatz
#18 opened by MatthiasHu - 1