Mathlib v3 is deprecated. Go to Mathlib v4

Theorem prime_spectrum.le_iff_mem_closure

Modification history

2021-02-22 06:58

src/algebraic_geometry/prime_spectrum.lean

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

Added prime_spectrum.le_iff_mem_closure View on Github →