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

Initializing...

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