`BookProof.SymmetryEntropy.bornCol_eq_zero_iff` (U : Fin n → Fin n → ℂ) (a k : Fin n) : bornCol U a k = 0 ↔ U k a = 0

Initializing...

`BookProof.SymmetryEntropy.bornCol_eq_zero_iff` (U : Fin n → Fin n → ℂ) (a k : Fin n) : bornCol U a k = 0 ↔ U k a = 0 · Prove2Me