text/deligne.tex
changeset 394 eac3c57c808a
parent 386 40df54ede7fe
child 400 a02a6158f3bd
equal deleted inserted replaced
389:facac77e9a72 394:eac3c57c808a