diagrams/ncat/strict-associativity.pdf
changeset 846 40b2a6d891c6
parent 375 faac9ca8f092