text/deligne.tex
changeset 209 0e71da01b195
parent 194 8d3f0bc6a76e
child 237 d42ae7a54143
equal deleted inserted replaced
208:2a8aecc675c7 209:0e71da01b195