text/deligne.tex
changeset 388 eec4b1f9cfc2
parent 376 1ce74e992a72
child 381 84bcc5fdf8c2
equal deleted inserted replaced
380:6876295aec26 388:eec4b1f9cfc2