text/deligne.tex
changeset 382 2e9a8385c2e7
parent 381 84bcc5fdf8c2
child 386 40df54ede7fe
equal deleted inserted replaced
381:84bcc5fdf8c2 382:2e9a8385c2e7