Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.limits.of_π_congr

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.of_π_congr View on Github →