`BookProof.FockInteractionStability.fock_gap_of_one_particle_form_gap_interaction` {F : Type*} [NormedAddCommGroup F] [InnerProductSpace ℂ F] (b : HilbertBasis ℕ ℂ F) (A : BookProo

Initializing...

`BookProof.FockInteractionStability.fock_gap_of_one_particle_form_gap_interaction` {F : Type*} [NormedAddCommGroup F] [InnerProductSpace ℂ F] (b : HilbertBasis ℕ ℂ F) (A : BookProo · Prove2Me