diagrams/deligne/intervals.pdf
changeset 472 0b9293d2f3f2
parent 375 faac9ca8f092