text/deligne.tex
changeset 535 07b79f81c956
parent 534 2b1d52c41ac5
child 538 123a8b83e02c