Theorem PrimeSpectrum.finite_setOf_isMin

Modification history

2024-10-28 14:43
Mathlib/AlgebraicGeometry/PrimeSpectrum/Noetherian.lean
feat(AlgebraicGeometry/PrimeSpectrum): prime spectrum of jacobson rings (#18242)
Added PrimeSpectrum.finite_setOf_isMinView on Github →