diagrams/ncat/strict-associativity.pdf
changeset 434 785e4953a811
parent 375 faac9ca8f092