diagrams/ncat/strict-associativity.pdf
changeset 901 77a80b7eb98e
parent 375 faac9ca8f092