mathlib3
feat(category_theory/limits): construct equalizers from pullbacks and products
#2124

Merged

Commits

construct equalizers from pullbacks and products

b-mehta committed 6 years ago
...

kim-em committed 6 years ago
changes from review

b-mehta committed 6 years ago
Add docstrings

b-mehta committed 6 years ago
golf proofs a little

kim-em committed 6 years ago
merge

kim-em committed 6 years ago
Merge pull request #2 from leanprover-community/equalizers

b-mehta committed 6 years ago
linter

kim-em committed 6 years ago
Merge branch 'master' into equalizers

mergify[bot] committed 6 years ago