{m d : ℕ} (w : Fin m → E) (V : EuclideanSpace ℂ (Fin d) →L[ℂ] E) (rX : E →L[ℂ] E) (rB : EuclideanSpace ℂ (Fin d) →L[ℂ] EuclideanSpace ℂ (Fin d)) (flow psiX : E →L[ℂ] E)...

Initializing...

{m d : ℕ} (w : Fin m → E) (V : EuclideanSpace ℂ (Fin d) →L[ℂ] E) (rX : E →L[ℂ] E) (rB : EuclideanSpace ℂ (Fin d) →L[ℂ] EuclideanSpace ℂ (Fin d)) (flow psiX : E →L[ℂ] E)... · Prove2Me