Anick proved that every q-mild Hopf algebra up to homotopy is isomorphic to a
primitively-generated chain Hopf algebra. We provide a new proof, that involves
extensive use of the Bockstein spectral sequence.Comment: Published by Algebraic and Geometric Topology at
http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-7.abs.htm