OAI/LinearAlgebra/MatrixMultiplication/Polynomial/ExpressionFamily.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Polynomial tensor restrictions and exact coefficient extraction.

  1. structure OAI.MatrixMultiplication.Arithmetic.Expression.CompiledFamily line 19
  2. def OAI.MatrixMultiplication.Arithmetic.Expression.compileFinFamily line 26
  3. def OAI.MatrixMultiplication.Arithmetic.Expression.compileFamily line 53