text/deligne.tex
changeset 512 050dba5e7bdd
parent 450 56a31852242e
child 534 2b1d52c41ac5
equal deleted inserted replaced
511:cd08d1b9d274 512:050dba5e7bdd