Commit 2022-03-12 14:08 a63b99c3

View on Github →

chore(category_theory/closed/monoidal): fix notation (#12612) Previously the C in the internal hom arrow ⟶[C] was hardcoded, which wasn't very useful! I've also reduced the precedence slightly, so we now require more parentheses, but I think these are less confusing rather than more so it is a good side effect?

Estimated changes