text/deligne.tex
changeset 397 e47dcbf119e7
parent 386 40df54ede7fe
child 400 a02a6158f3bd
equal deleted inserted replaced
396:f58d590e8a08 397:e47dcbf119e7