Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prime_spectrum.vanishing_ideal_singleton

Modification history

2021-02-22 06:58

src/algebraic_geometry/prime_spectrum.lean

feat(algebraic_geometry/prime_spectrum): specialization order (#6286)

Added prime_spectrum.vanishing_ideal_singleton View on Github →