Theorem simple_iff_isSimpleModule

Modification history

2023-06-12 15:03
Mathlib/Algebra/Category/ModuleCat/Simple.lean
feat: port Algebra.Category.Module.Simple (#4992)
Added simple_iff_isSimpleModuleView on Github →