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