The actual third spatial flow primitive on both sides of a cutoff start.

@[instance_reducible]

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

Equations

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

@[instance_reducible]

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

Equations

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