Fix a typo (#2137) - SemanticDiff

Commit

6 years ago

Fix a typo (#2137)

References

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

Author

TwoFX

TwoFX

Parents

Loading