Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.is_iso_equiv_nonzero

Modification history

2021-05-03 14:11
src/category_theory/preadditive/schur.lean
feat(category_theory/preadditive): Schur's lemma (#7366) …
Deleted category_theory.is_iso_equiv_nonzeroView on Github →
2020-06-30 05:20
src/category_theory/schur.lean
feat(category/schur): a small corollary of the baby schur's lemma (#3239)
Added category_theory.is_iso_equiv_nonzeroView on Github →