Edited definition of p\neq 2 ramification divisor
Added exact sequence with direct sum for \cO_X
Changed references to exact sequence of \cO_X
redid Mittag-Leffler proof, including new function statements