Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.cancel_mono

Modification history

2020-03-09 14:27
src/category_theory/category/default.lean
feat(category_theory): images (#2100) …
Modified category_theory.cancel_monoView on Github →
2019-05-13 19:33
src/category_theory/category.lean
feat(category_theory/iso): missing lemmas (#1001) …
Modified category_theory.cancel_monoView on Github →
2018-09-07 11:42
category_theory/category.lean
feat(category_theory): construction for a concrete category
Modified category_theory.cancel_monoView on Github →
2018-09-03 01:27
category_theory/category.lean
feat(category_theory/isomorphisms): introduce isomorphisms (#278) …
Added category_theory.cancel_monoView on Github →