HomeTroughMathlib1000+ theoremsAlgebra14 Algebraic geometryContentsStatementsMapContentsLoading the map…Reading 14 Algebraic geometry Hilbert's Nullstellensatz Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.