Mathlib v3 is deprecated. Go to Mathlib v4

Structure prime_spectrum

Modification history

2022-11-26 13:40

src/algebraic_geometry/prime_spectrum/basic.lean

refactor(algebraic_geometry/prime_spectrum/basic): refactor prime_spectrum def into structure (#16930)

Added prime_spectrum View on Github →