mathlib3
e2b0e387 - chore(category_theory/binary_products): tweak spacing in notation (#2184)

Commit

6 years ago

chore(category_theory/binary_products): tweak spacing in notation (#2184) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

#2184 - chore(category_theory/binary_products): tweak spacing in notation

Author

kim-em

Parents

034685b9

mathlib3 e2b0e387 - chore(category_theory/binary_products): tweak spacing in notation (#2184)

mathlib3
e2b0e387 - chore(category_theory/binary_products): tweak spacing in notation (#2184)