Theorem simple_iff_isSimpleModule'

Modification history

2023-06-16 02:09
Mathlib/Algebra/Category/ModuleCat/Simple.lean
chore: tidy various files (#5104)
Added simple_iff_isSimpleModule'View on Github →