mathlib3
fix(category_theory/limits): rename binary_cofan.mk_π_app_left to binary_cofan.mk_ι_app_left
#2137
Merged
Merged