Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.cancel_epi

Modification history

2022-04-22 01:34
src/category_theory/category/basic.lean
chore(*): remove `subst` when not necessary (#13453) …
Modified category_theory.cancel_epiView on Github →
2020-03-09 14:27
src/category_theory/category/default.lean
feat(category_theory): images (#2100) …
Modified category_theory.cancel_epiView on Github →
2019-05-13 19:33
src/category_theory/category.lean
feat(category_theory/iso): missing lemmas (#1001) …
Modified category_theory.cancel_epiView on Github →
2018-09-07 11:42
category_theory/category.lean
feat(category_theory): construction for a concrete category
Modified category_theory.cancel_epiView on Github →
2018-09-03 01:27
category_theory/category.lean
feat(category_theory/isomorphisms): introduce isomorphisms (#278) …
Added category_theory.cancel_epiView on Github →