Theorem IsArtinianRing.finrank_eq_sum_primeSpectrum

Modification history

2026-04-28 15:42
Mathlib/RingTheory/Spectrum/Prime/Noetherian.lean
feat(RingTheory/Spectrum/Prime/Noetherian): rank of an Artinian ring over a field (#38182) …
Added IsArtinianRing.finrank_eq_sum_primeSpectrumView on Github →