(V : F →L[ℂ] E) (rX : E →L[ℂ] E) (rB : F →L[ℂ] F) (flow psiX : E →L[ℂ] E) (psiB : F →L[ℂ] F) (C Dmin h : ℝ) (m : ℕ) (hViso : ∀ x : F, ‖V x‖ = ‖x‖) (hVadj : ∀ v...

Initializing...

(V : F →L[ℂ] E) (rX : E →L[ℂ] E) (rB : F →L[ℂ] F) (flow psiX : E →L[ℂ] E) (psiB : F →L[ℂ] F) (C Dmin h : ℝ) (m : ℕ) (hViso : ∀ x : F, ‖V x‖ = ‖x‖) (hVadj : ∀ v... · Prove2Me