diff -r 5ce95bd193ba -r 0680b6cd90cf diagrams/pdf/deligne/mapping-cylinders.pdf
Binary file diagrams/pdf/deligne/mapping-cylinders.pdf has changed