(hnu : 0 < nu) (f : Fin 3 → ℝ) : HasZeroDeficiencyOn (lagCanData nu hnu f).D (secondOrder (lagCanData nu hnu f))

Initializing...

(hnu : 0 < nu) (f : Fin 3 → ℝ) : HasZeroDeficiencyOn (lagCanData nu hnu f).D (secondOrder (lagCanData nu hnu f)) · Prove2Me