mathlib3
147a81a2 - chore(category_theory/limits): preserving coequalizers (#5212)

Commit

5 years ago

chore(category_theory/limits): preserving coequalizers (#5212) dualise stuff from before

Author

b-mehta

Parents