mathlib
a86277a2 - feat(category_theory/limits): epi equalizer implies equal (#11873)

Commit

4 years ago

feat(category_theory/limits): epi equalizer implies equal (#11873)

Author

TwoFX

TwoFX

Parents

Loading