text/deligne.tex
changeset 415 8dedd2914d10
parent 402 853376c08d76
child 426 8aca80203f9d
equal deleted inserted replaced
414:214d944956e8 415:8dedd2914d10