mathlib
c494db5c - feat(category_theory/limits/shapes/equalizers): equalizer comparison map (#4927)

Commit

5 years ago

feat(category_theory/limits/shapes/equalizers): equalizer comparison map (#4927)

Author

b-mehta

b-mehta

Parents

Loading