Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set_has_minimal_iff_artinian

Modification history

2021-09-11 11:48
src/ring_theory/artinian.lean
chore(ring_theory/artinian): typo (#9140)
Added set_has_minimal_iff_artinianView on Github →