Quantitative actual third spatial flow operators.

@[instance_reducible]

noncomputable instance AVenhance.Infra.Section4.FlowThirdVariationRates.amnrBilinearNorm : NormedAddCommGroup (Homogenization.Vec 2 →L[ℝ] Homogenization.Vec 2 →L[ℝ] Homogenization.Vec 2)

Equations

• AVenhance.Infra.Section4.FlowThirdVariationRates.amnrBilinearNorm = inferInstance

@[instance_reducible]

noncomputable instance AVenhance.Infra.Section4.FlowThirdVariationRates.amnrBilinearSpace : NormedSpace ℝ (Homogenization.Vec 2 →L[ℝ] Homogenization.Vec 2 →L[ℝ] Homogenization.Vec 2)

Equations

• AVenhance.Infra.Section4.FlowThirdVariationRates.amnrBilinearSpace = inferInstance