OAI/LinearAlgebra/MatrixMultiplication/FieldConstruction/Conditional.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Tensor extraction over arbitrary fields and its asymptotic rate.

  1. structure OAI.MatrixMultiplication.AllFieldConditional.NumericalConditions line 11
  2. theorem OAI.MatrixMultiplication.AllFieldConditional.omega_lt_2371054887_div_1000000000_of_numerical_conditions line 32