(x : lpFiniteModes ℕ) : (((cre (cre x) : lpFiniteModes ℕ) : L2I ℕ) : ℕ → ℂ) 1 = 0

Initializing...

(x : lpFiniteModes ℕ) : (((cre (cre x) : lpFiniteModes ℕ) : L2I ℕ) : ℕ → ℂ) 1 = 0 · Prove2Me