text/deligne.tex
changeset 176 8c2ed3a951e0
parent 167 cfab8c2189a7
child 194 8d3f0bc6a76e
equal deleted inserted replaced
175:8a0d4f53367b 176:8c2ed3a951e0