mathlib3
fix(category_theory/limits): rename binary_cofan.mk_π_app_left to binary_cofan.mk_ι_app_left
#2137
Merged
Overview
Commits
1
Changes
View On GitHub

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

mergify merged 1 commit into master from cofan-typo
TwoFX
TwoFX Fix a typo
2a4d2d2a
jcommelin jcommelin changed the title fix(category_theory/limits): fix a typo fix(category_theory/limits): rename binary_cofan.mk_π_app_left to binary_cofan.mk_ι_app_left 6 years ago
jcommelin
jcommelin approved these changes on 2020-03-12
jcommelin
jcommelin jcommelin added ready-to-merge
mergify mergify merged 7d357d74 into master 6 years ago
mergify mergify deleted the cofan-typo branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum