Theorem IsSimpleRing.of_eq_bot_or_eq_top

Modification history

2024-09-19 20:23
Mathlib/RingTheory/SimpleRing/Basic.lean
feat: definition of a simple ring (#14503)
Added IsSimpleRing.of_eq_bot_or_eq_topView on Github →