text/deligne.tex
changeset 427 e02bcd9f63c1
parent 426 8aca80203f9d
child 437 93ce0ba3d2d7
equal deleted inserted replaced
426:8aca80203f9d 427:e02bcd9f63c1