`BookProof.TensorCore.symmetricOn_sectorOp` (hA : SymmetricOn D₂ A) (n : ℕ) : SymmetricOn (sectorDom Hs D₂ n) (sectorOp Hs D₂ A n)

Initializing...

`BookProof.TensorCore.symmetricOn_sectorOp` (hA : SymmetricOn D₂ A) (n : ℕ) : SymmetricOn (sectorDom Hs D₂ n) (sectorOp Hs D₂ A n) · Prove2Me