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

Initializing...

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