Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simple_iff_is_simple_module

Modification history

2022-05-05 13:11
src/algebra/category/Module/simple.lean
feat(category_theory/simple): simple_iff_subobject_is_simple_order (#13969)
Added simple_iff_is_simple_moduleView on Github →