Two spectral sequences of a bounded double complex (source code)

= Two spectral sequences of a bounded double complex
{title2=$H_hH_vD\quad\text{and}\quad H_vH_hD$}

Filtering the <total cochain complex> by each index yields two <spectral sequences>. One first takes vertical cohomology and the other horizontal cohomology; boundedness ensures both converge to total cohomology.