add weak nullstellensatz theorem and proof

This commit is contained in:
2026-01-11 22:28:29 +01:00
parent 15f00f14ff
commit 6c35d6cbcc
3 changed files with 105 additions and 32 deletions

Binary file not shown.