(col : ℕ → (ℕ →₀ ℂ)) (u v : FockAlg) {L : Finset ℕ} (hv : modes v ⊆ L) (hL : ∀ k ∈ modes u ∪ modes v, (col k).support ⊆ L) : (inner ℂ (toLp u) (toLp (dGamma col v)) :...

Initializing...

(col : ℕ → (ℕ →₀ ℂ)) (u v : FockAlg) {L : Finset ℕ} (hv : modes v ⊆ L) (hL : ∀ k ∈ modes u ∪ modes v, (col k).support ⊆ L) : (inner ℂ (toLp u) (toLp (dGamma col v)) :... · Prove2Me