text/deligne.tex
changeset 332 160ca7078ae9
parent 319 121c580d5ef7
child 342 1d76e832d32f
equal deleted inserted replaced
329:eb03c4a92f98 332:160ca7078ae9