Time energy tools below the AMNR facade, avoiding a reverse import.

theorem AVenhance.Infra.Section4.TemperatureTimeEnergy.amnr_time_cell_integrable {f : Homogenization.Vec 2 → ℝ} (hf : Continuous f) : MeasureTheory.IntegrableOn f unitCube MeasureTheory.volume