mathlib3
83b13d1c - feat(category_theory/limits): morphisms to equalizer (#5233)

Commit

5 years ago

feat(category_theory/limits): morphisms to equalizer (#5233) The natural bijection for morphisms to an equalizer and the dual.

Author

b-mehta

Parents