P
Initializing...
(hnu : 0 < nu) (f : Fin 3 → ℝ) : secondOrder (lagCanData nu hnu f) = lagT nu · Prove2Me