Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-03-12 10:56 7d357d74

View on Github →

Fix a typo (#2137)

Estimated changes

Modified src/category_theory/limits/shapes/binary_products.lean

added theorem category_theory.limits.binary_cofan.mk_ι_app_left

added theorem category_theory.limits.binary_cofan.mk_ι_app_right

deleted theorem category_theory.limits.binary_cofan.mk_π_app_left

deleted theorem category_theory.limits.binary_cofan.mk_π_app_right