`BookProof.SmGaugeRep.sum_kronecker_left` {ι : Type*} (s : Finset ι) (A : ι → Matrix (Fin 3) (Fin 3) ℂ) (B : Matrix (Fin 2) (Fin 2) ℂ) : (∑ i ∈ s, A i) ⊗ₖ B = ∑ i ∈ s, (A i...

Initializing...

`BookProof.SmGaugeRep.sum_kronecker_left` {ι : Type*} (s : Finset ι) (A : ι → Matrix (Fin 3) (Fin 3) ℂ) (B : Matrix (Fin 2) (Fin 2) ℂ) : (∑ i ∈ s, A i) ⊗ₖ B = ∑ i ∈ s, (A i... · Prove2Me