The general H¹ case of r.LeBron.2, proved #
Assembly of UniformH1.holder_of_analytic with the analytic case (analyticUniform_contract),
the heat approximation, L² contraction of differences, classical existence, and the energy
identity,
for the drift streamVel φ of the limit stream.