mathlib
d537897a - feat(category_theory/simple): simple objects are indecomposable (#13882)

Commit

3 years ago

feat(category_theory/simple): simple objects are indecomposable (#13882) Remarkably tedious. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

1afdaf96

mathlib d537897a - feat(category_theory/simple): simple objects are indecomposable (#13882)

mathlib
d537897a - feat(category_theory/simple): simple objects are indecomposable (#13882)