text/deligne.tex
changeset 287 a798a1e00cb3
parent 283 418919afd077
child 288 6c1b3c954c7e
equal deleted inserted replaced
285:0b3e76167461 287:a798a1e00cb3