text/deligne.tex
changeset 895 74ab13b63b9b
parent 886 c570a7a75b07
child 905 7afa2ffbbac8
equal deleted inserted replaced
894:3f38383f26d3 895:74ab13b63b9b