Theorem Module.finite_iff_krullDimLE_zero

Modification history

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