{col : ℕ → (ℕ →₀ ℂ)} (hherm : IsHermCol col) : SymmetricOn (lpFiniteModes Conf) (dGammaOp col)

Initializing...

{col : ℕ → (ℕ →₀ ℂ)} (hherm : IsHermCol col) : SymmetricOn (lpFiniteModes Conf) (dGammaOp col) · Prove2Me