(A N : ∀ m, D m →ₗ[ℂ] D m) (c₂ : ℝ) (hb : ∀ (m : ι) (x : D m), ‖(inner ℂ ((x : S m)) ((A m x : D m) : S m) : ℂ)‖ ≤ c₂ * (inner ℂ ((x : S m)) ((N m x : D m) : S m) :...

Initializing...

(A N : ∀ m, D m →ₗ[ℂ] D m) (c₂ : ℝ) (hb : ∀ (m : ι) (x : D m), ‖(inner ℂ ((x : S m)) ((A m x : D m) : S m) : ℂ)‖ ≤ c₂ * (inner ℂ ((x : S m)) ((N m x : D m) : S m) :... · Prove2Me