diff -r e2996d7b4e6c -r 1b41a54d8d18 diagrams/deligne/mapping-cylinders.pdf
Binary file diagrams/deligne/mapping-cylinders.pdf has changed