Theorem IsArtinianRing.isField_of_isDomain

Modification history

2025-01-02 13:01
Mathlib/RingTheory/Artinian/Module.lean
chore(RingTheory/Artinian): Split out `Artinian/Ring.lean` (#20350)
Added IsArtinianRing.isField_of_isDomainView on Github →