text/deligne.tex
changeset 385 b1da2a454ee7
parent 381 84bcc5fdf8c2
child 386 40df54ede7fe
equal deleted inserted replaced
384:2df1284ab09e 385:b1da2a454ee7