P
Initializing...
(u : FockAlg) (α : Conf) : ((toLp u : Fock) : Conf → ℂ) α = u α · Prove2Me