text/deligne.tex
changeset 456 a5d75e0f9229
parent 450 56a31852242e
child 534 2b1d52c41ac5
equal deleted inserted replaced
455:8e62bd633a98 456:a5d75e0f9229