(i : Fin 3) (β : Vel) : numOp i (coreState β) = ((β i : ℝ) : ℂ) • coreState β

Initializing...

(i : Fin 3) (β : Vel) : numOp i (coreState β) = ((β i : ℝ) : ℂ) • coreState β · Prove2Me