 Total cochain complex

The total differential is $d_h+d_v$ for anticommuting differentials. For a double cochain complex bounded in both indices, both index filtrations are finite and have the same total cohomology as abutment.