wide_pullbacks): speed up `wide_cospan` (#10535)

Commit

4 years ago

chore(category_theory/limits/shapes/wide_pullbacks): speed up `wide_cospan` (#10535)

Author

pechersky

Parents