text/deligne.tex
changeset 440 379e9a10c079
parent 437 93ce0ba3d2d7
child 449 ae5fd0a7a8a3
equal deleted inserted replaced
438:0d62ea7c653d 440:379e9a10c079