arnaucube bafd55f27f Noether normalization & weak nullstellensatz thm (#4) ...

* add lemma 4.6 proof, polish Noether normalization lemma's proof, add aux lemma on integrality implies finiteness

* add weak nullstellensatz theorem and proof

2026-01-11 22:35:04 +01:00

..

typos.toml

Noether normalization & weak nullstellensatz thm (#4)

2026-01-11 22:35:04 +01:00

typos.yml

port notes on A-algebras & Noether normalization & integral closures (#3)

2026-01-02 19:33:26 +01:00