`BookProof.FockInteractionStability.interaction_form_bound` [InnerProductSpace ℂ E] (V : E →L[ℂ] E) (x : E) : |(inner ℂ x (V x) : ℂ).re| ≤ ‖V‖ * ‖x‖ ^ 2

Initializing...

`BookProof.FockInteractionStability.interaction_form_bound` [InnerProductSpace ℂ E] (V : E →L[ℂ] E) (x : E) : |(inner ℂ x (V x) : ℂ).re| ≤ ‖V‖ * ‖x‖ ^ 2 · Prove2Me