shapes): Multiequalizer is the equalizer (#10267)

Commit

4 years ago

feat(category_theory/limits/shapes): Multiequalizer is the equalizer (#10267) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

erdOne

Parents