OAI/LinearAlgebra/MatrixMultiplication/Polynomial/ComplexSeparationPolynomialKernel.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Polynomial tensor restrictions and exact coefficient extraction.

  1. def OAI.MatrixMultiplication.Foundation.PolynomialLocalConstruction.poolAuxiliaryApproximation line 14