`BookProof.DensitySpectral.bornKernel_nonneg` (U : Matrix n n ℂ) (i j : n) : 0 ≤ bornKernel U i j

Initializing...

`BookProof.DensitySpectral.bornKernel_nonneg` (U : Matrix n n ℂ) (i j : n) : 0 ≤ bornKernel U i j · Prove2Me