[Abelian Varieties V.1] Leray Spectral Sequence

This is a very quick look on the theory of spectral sequence. It is very useful for our later development for studying cohomology groups of line bundles on abelian varieties. Our main results would be the Riemann-Roch and vanishing theorem. Since we cannot draw diagrams here, I will attach my hand-writing notes.