Theorem AlgebraicGeometry.Scheme.zeroLocus_eq_top_iff_subset_nilradical

Modification history