mathlib
2d00ba48 - feat(category_theory/limits): cleanup equalizers (#5214)

Commit

5 years ago

feat(category_theory/limits): cleanup equalizers (#5214) golf and make simp more powerful

Author

b-mehta

Parents