text/deligne.tex
changeset 520 987d0010d326
parent 450 56a31852242e
child 534 2b1d52c41ac5
equal deleted inserted replaced
519:1e56e60dcf15 520:987d0010d326