`BookProof.KatoRellich.dense_range_add_bounded` (H : D →ₗ[ℂ] F) (hH : SymmetricOn D H) (B : F →L[ℂ] F) (e : ℝ) (he : ‖B‖ < |e|) (hdense : Dense (Set.range fun x : D => H x

Initializing...

`BookProof.KatoRellich.dense_range_add_bounded` (H : D →ₗ[ℂ] F) (hH : SymmetricOn D H) (B : F →L[ℂ] F) (e : ℝ) (he : ‖B‖ < |e|) (hdense : Dense (Set.range fun x : D => H x - ((e : · Prove2Me