 Bockstein derivation rule

For the modulo-$m$ cohomological Bockstein homomorphism,This follows by lifting cocycles to integral cochains and applying the graded Leibniz rule for the coboundary before dividing by $m$.