(U S : E →L[ℂ] E) (C Dmin h : ℝ) (m : ℕ) (hU : ∀ w : E, ‖U w‖ ≤ ‖w‖) (hS : ∀ w : E, ‖S w‖ ≤ ‖w‖) (hstep : ∀ w : E, ‖U w - S w‖ ≤ sirkBound C Dmin h 1 m *...

Initializing...

(U S : E →L[ℂ] E) (C Dmin h : ℝ) (m : ℕ) (hU : ∀ w : E, ‖U w‖ ≤ ‖w‖) (hS : ∀ w : E, ‖S w‖ ≤ ‖w‖) (hstep : ∀ w : E, ‖U w - S w‖ ≤ sirkBound C Dmin h 1 m *... · Prove2Me