Commit 2020-06-18 01:11 b91909e7
View on Github →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)
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)