The Bar Spectral Sequence converging to h*(SO(2n+1)).
Let be a differential (not necessarily commutative) algebra which carries a free action of a polynomial algebra with homogeneous generators . We show that for acyclic, the cohomology of the quotient