OAI/LinearAlgebra/MatrixFields/Tensors/CWWordDimensionParameters.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.sitePolynomial line 20
2. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.site_enumerator line 22
3. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.word_enumerator line 28
4. abbrev OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.WeightWords line 47
5. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.card_weightWords line 49
6. def OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.recursiveCoeff line 56
7. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.coeff_eq_recursive line 62
8. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensions.card_weightWords_fin line 76
9. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensionParameters.table_eq_recursive line 91
10. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensionParameters.table_eq_polynomial line 95
11. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensionParameters.table_eq_card line 99
12. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensionParameters.table_positive line 106
13. theorem OAI.MatrixAllFields.MatrixMultiplication.CWWordDimensionParameters.word_card_positive line 109