`BookProof.ChapterReconstruct.offDiag_eq_zero_iff` (U : Fin n → Fin n → ℂ) (a : Fin n) : (∀ Ψ : Fin n → ℂ, offDiag U a Ψ = 0) ↔ IsDeterministicCol U a

Initializing...

`BookProof.ChapterReconstruct.offDiag_eq_zero_iff` (U : Fin n → Fin n → ℂ) (a : Fin n) : (∀ Ψ : Fin n → ℂ, offDiag U a Ψ = 0) ↔ IsDeterministicCol U a · Prove2Me