More cosmetic stuff: removed a bunch of // at the end of some tikzcd.

I'm working on Section 14 now.