text/deligne.tex
changeset 435 84834a1fdd50
parent 426 8aca80203f9d
child 437 93ce0ba3d2d7
equal deleted inserted replaced
434:785e4953a811 435:84834a1fdd50