Proofs of the uniform-regularity statements

theorem AVenhance.Infra.FullTheorem.Contracts.forcedEnergySup_contract : ForcedEnergySupContract

theorem AVenhance.Infra.FullTheorem.Contracts.heatApproxH1_contract : HeatApproxH1Contract

theorem AVenhance.Infra.FullTheorem.Contracts.weakDifference_contract : WeakDifferenceContract