`BookProof.FockFieldPerturbation.fieldVec_relative_form_bound` {col : ℕ → (ℕ →₀ ℂ)} {mu t : ℝ} (hmu : 0 < mu) (ht : 0 < t) (hgap : IsPosCol (shiftCol col mu)) (f : ℕ →₀ ℂ)...

Initializing...

`BookProof.FockFieldPerturbation.fieldVec_relative_form_bound` {col : ℕ → (ℕ →₀ ℂ)} {mu t : ℝ} (hmu : 0 < mu) (ht : 0 < t) (hgap : IsPosCol (shiftCol col mu)) (f : ℕ →₀ ℂ)... · Prove2Me