Theorem AlgebraicGeometry.Scheme.nilradical_eq_bot

Modification history