text/deligne.tex
changeset 975 31dc2bdaf17c
parent 954 43bc04bcf941
equal deleted inserted replaced
974:680b890d2918 975:31dc2bdaf17c