No content registered for /robert/proofs/Robert.Streaming.MomentMonoid.merge_mean_assoc.
/robert/proofs/Robert.Streaming.MomentMonoid.merge_mean_assoc