text/deligne.tex
changeset 980 53843b0d9ff2
parent 954 43bc04bcf941
equal deleted inserted replaced
978:a80cc9f9a65b 980:53843b0d9ff2