Theorem AlgebraicGeometry.Scheme.zeroLocus_eq_univ_iff_subset_nilradical

Modification history