P
Initializing...
(hκ : ∀ i, 0 ≤ κ i) : SymmetricOn (maxDom (fockSym κ)) (fockH hκ) · Prove2Me