text/deligne.tex
changeset 222 217b6a870532
parent 194 8d3f0bc6a76e
child 237 d42ae7a54143
equal deleted inserted replaced
221:77b0cdeb0fcd 222:217b6a870532