`BookProof.ChapterA3.bilC_ext` {A B : Matrix (Fin 4) (Fin 4) ℂ} (hA : Aᵀ = A) (hB : Bᵀ = B) (h : ∀ x : Fin 4 → ℂ, bilC A x = bilC B x) : A = B

Initializing...

`BookProof.ChapterA3.bilC_ext` {A B : Matrix (Fin 4) (Fin 4) ℂ} (hA : Aᵀ = A) (hB : Bᵀ = B) (h : ∀ x : Fin 4 → ℂ, bilC A x = bilC B x) : A = B · Prove2Me