text/deligne.tex
changeset 216 1b3ebb7793c9
parent 194 8d3f0bc6a76e
child 237 d42ae7a54143
equal deleted inserted replaced
215:adc03f9d8422 216:1b3ebb7793c9