mathlib
d62b5178 - feat(category_theory/limits): Walking parallel pair equiv to its op. (#10516)

Commit

4 years ago

feat(category_theory/limits): Walking parallel pair equiv to its op. (#10516) Co-authored-by: erdOne <the.erd.one@gmail.com>

Author

erdOne

Parents