Theorem IsSimpleRing.isField_center

Modification history

2024-11-14 06:25
Mathlib/RingTheory/SimpleRing/Basic.lean
refactor(RingHom.injective): use simple ring (#18868)
Modified IsSimpleRing.isField_centerView on Github →
2024-09-19 20:23
Mathlib/RingTheory/SimpleRing/Basic.lean
feat: definition of a simple ring (#14503)
Added IsSimpleRing.isField_centerView on Github →