Mathlib Changelog
v4
Changelog
About
Github
Theorem
MaximalSpectrum.range_asIdeal
Modification history
2025-01-23 19:32
Mathlib/RingTheory/Spectrum/Maximal/Basic.lean
feat(RingTheory/Artinian): rewrite results using spectra types instead of sets (#20828) …
Added
MaximalSpectrum.range_asIdeal
View on Github →