Theorem isSimpleRing_iff_isField

Modification history

2024-11-14 06:25

Mathlib/RingTheory/SimpleRing/Basic.lean

refactor(RingHom.injective): use simple ring (#18868)

Modified isSimpleRing_iff_isField View on Github →

2024-09-19 20:23

Mathlib/RingTheory/SimpleRing/Basic.lean

feat: definition of a simple ring (#14503)

Added isSimpleRing_iff_isField View on Github →