`BookProof.TensorCore.isGraphCore_sectorCore` (hcore : IsGraphCore D A) (n : ℕ) : IsGraphCore (sectorCore Hs D₂ D n) (sectorOp Hs D₂ A n)

Initializing...

`BookProof.TensorCore.isGraphCore_sectorCore` (hcore : IsGraphCore D A) (n : ℕ) : IsGraphCore (sectorCore Hs D₂ D n) (sectorOp Hs D₂ A n) · Prove2Me