text/deligne.tex
changeset 202 93c3982c2cbf
parent 194 8d3f0bc6a76e
child 237 d42ae7a54143
equal deleted inserted replaced
201:5acfd26510c1 202:93c3982c2cbf