text/deligne.tex
changeset 290 9bb7d314c694
parent 289 7c26ae009b75
child 292 7d0c63a9ce05