The physical velocity and pressure force inherit the genuine particle symmetry, so their values vanish at the fixed origin.

theorem EulerParentPacketFrames.Evolution.velocity_odd {A : Parent} (E : Evolution A) (O : OddData A) (t : ↑(Set.Icc 0 A.T)) : Function.Odd fun (x : EulerSmoothLimit.Space) => E.velocity (↑t, x)

theorem EulerParentPacketFrames.Evolution.force_odd {A : Parent} (E : Evolution A) (O : OddData A) (t : ↑(Set.Icc 0 A.T)) : Function.Odd (E.force t)

theorem EulerParentPacketFrames.Evolution.velocity_zero {A : Parent} (E : Evolution A) (O : OddData A) (t : ↑(Set.Icc 0 A.T)) : E.velocity (↑t, 0) = 0

theorem EulerParentPacketFrames.Evolution.force_zero {A : Parent} (E : Evolution A) (O : OddData A) (t : ↑(Set.Icc 0 A.T)) : E.force t 0 = 0

theorem EulerParentPacketFrames.Evolution.strain_origin {A : Parent} (E : Evolution A) (O : OddData A) (t : ↑(Set.Icc 0 A.T)) : (A.strain.field t) 0 = fderiv ℝ (fun (y : EulerSmoothLimit.Space) => E.velocity (↑t, y)) 0

theorem EulerParentPacketFrames.Evolution.curvature_origin {A : Parent} (E : Evolution A) (O : OddData A) (t : ↑(Set.Icc 0 A.T)) : (A.curvature.field t) 0 = fderiv ℝ (E.force t) 0