P
Initializing...
(c : ι → ℝ) : IsSymmetricDom (lpDiag c) · Prove2Me