Theorem PrimeSpectrum.finite_setOf_isMin

Modification history

2026-07-17 09:57
Mathlib/RingTheory/Spectrum/Prime/Noetherian.lean
chore(Data): rename `setOf` to `Set.ofPred` (#41507) …
Deleted PrimeSpectrum.finite_setOf_isMinView on Github →
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 →