Theorem PrimeSpectrum.stableUnderSpecialization_singleton

Modification history

2024-10-28 14:43

Mathlib/AlgebraicGeometry/PrimeSpectrum/Basic.lean

feat(AlgebraicGeometry/PrimeSpectrum): prime spectrum of jacobson rings (#18242)

Added PrimeSpectrum.stableUnderSpecialization_singleton View on Github →