Theorem IsSemiprimaryRing.finite_of_isArtinian

Modification history

2025-02-25 14:06
Mathlib/RingTheory/HopkinsLevitzki.lean
feat(RingTheory): Artinian rings over Jacobson rings (#21904)
Added IsSemiprimaryRing.finite_of_isArtinianView on Github →