port Nullstellensatz & Varieties notes (ch5) (#6)

* 5.1, Corollary 5.2

* variety def, Nullstellensatz proof, correspondences V - I

* port notes on propositions 5.3, 5.7, 5.8

* add missing conclusion at proposition 5.3
This commit is contained in:
2026-01-25 22:04:47 +01:00
committed by GitHub
parent 38228a34ff
commit 5e08a390b9
3 changed files with 323 additions and 2 deletions

Binary file not shown.