text/deligne.tex
changeset 555 11532ce39ec0
parent 538 123a8b83e02c
child 556 4f008d0a29d4
equal deleted inserted replaced
554:62d6db8c2ead 555:11532ce39ec0