diagrams/ncat/strict-associativity.pdf
changeset 382 2e9a8385c2e7
parent 375 faac9ca8f092