text/deligne.tex
changeset 806 ff5483a2f789
parent 748 1cdfbd39b0bd
child 853 870d6fac5420
equal deleted inserted replaced
805:0c681fbb7b85 806:ff5483a2f789