mathlib

b91909e7 - chore(category_theory/closed/cartesian): style (#3098)

chore(category_theory/closed/cartesian): style (#3098) Just breaking long lines, and using braces in a multi-goal proof, for a recently added file. (#2894) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>