diff -r 73c62576ef70 -r e2bab777d7c9 diagrams/pdf/ncat/strict-associativity.pdf
Binary file diagrams/pdf/ncat/strict-associativity.pdf has changed