text/deligne.tex
changeset 213 a60332c29d0b
parent 194 8d3f0bc6a76e
child 237 d42ae7a54143
equal deleted inserted replaced
212:c2d2a8f8d70c 213:a60332c29d0b