(V : G →L[ℂ] E) (X qX qXinv : E →L[ℂ] E) (qBinv : G →L[ℂ] G) (p : Polynomial ℂ) (flow psiX : E →L[ℂ] E) (psiB : G →L[ℂ] G) (C Dmin h : ℝ) (m : ℕ) (S : Set ℂ) (hS : numRange X ⊆ S) (hVV :...

Initializing...

(V : G →L[ℂ] E) (X qX qXinv : E →L[ℂ] E) (qBinv : G →L[ℂ] G) (p : Polynomial ℂ) (flow psiX : E →L[ℂ] E) (psiB : G →L[ℂ] G) (C Dmin h : ℝ) (m : ℕ) (S : Set ℂ) (hS : numRange X ⊆ S) (hVV :... · Prove2Me