Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.limits.comp_nat_iso

Modification history

2020-08-03 11:29

src/category_theory/limits/shapes/kernels.lean

feat(algebra/category/Group): the category of abelian groups is abelian (#3621)

Added category_theory.limits.comp_nat_iso View on Github →