text/deligne.tex
changeset 552 c2091a3ebcc3
parent 538 123a8b83e02c
child 556 4f008d0a29d4
equal deleted inserted replaced
551:9dfb5db2acd7 552:c2091a3ebcc3