`BookProof.SymmetryEntropy.bornCol_nonneg` (U : Fin n → Fin n → ℂ) (a : Fin n) (k : Fin n) : 0 ≤ bornCol U a k

Initializing...

`BookProof.SymmetryEntropy.bornCol_nonneg` (U : Fin n → Fin n → ℂ) (a : Fin n) (k : Fin n) : 0 ≤ bornCol U a k · Prove2Me