text/deligne.tex
changeset 696 b98e16c7a2ba
parent 628 4cce595ae1d3
child 742 9971e04ac930
equal deleted inserted replaced
695:1d99796a73f3 696:b98e16c7a2ba