text/deligne.tex
changeset 424 6ebf92d2ccef
parent 402 853376c08d76
child 426 8aca80203f9d
equal deleted inserted replaced
423:33b4bb53017a 424:6ebf92d2ccef