text/deligne.tex
changeset 378 e5867a64cae5
parent 376 1ce74e992a72
child 381 84bcc5fdf8c2
equal deleted inserted replaced
377:43033c337dfa 378:e5867a64cae5