Theorem IsSimpleModule.isAtom

Modification history

2024-06-09 14:00
Mathlib/RingTheory/SimpleModule.lean
feat(Algebra, Order): simple submodules in a semisimple module (#13636) …
Modified IsSimpleModule.isAtomView on Github →
2023-04-06 14:19
Mathlib/RingTheory/SimpleModule.lean
feat: port RingTheory.SimpleModule (#3267)
Added IsSimpleModule.isAtomView on Github →