much cleaner calculation of coproduct cohomology
another wedge cohomology fact