OAI/LinearAlgebra/MatrixMultiplication/Tensor/ExactStatisticWords.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Finite coefficient tensors and their algebraic transformations.

  1. abbrev OAI.MatrixMultiplication.ExactStatisticWords.Words line 17
  2. def OAI.MatrixMultiplication.ExactStatisticWords.statisticWord line 21
  3. theorem OAI.MatrixMultiplication.ExactStatisticWords.empiricalLaw_eq line 25
  4. theorem OAI.MatrixMultiplication.ExactStatisticWords.typeWindow_of_counts line 32
  5. theorem OAI.MatrixMultiplication.ExactStatisticWords.sum_statistic_weight line 40
  6. def OAI.MatrixMultiplication.ExactStatisticWords.fiberEquiv line 59
  7. theorem OAI.MatrixMultiplication.ExactStatisticWords.card line 79
  8. theorem OAI.MatrixMultiplication.ExactStatisticWords.card_of_supported line 107
  9. theorem OAI.MatrixMultiplication.ExactStatisticWords.card_fixedWeight_fiber line 121
  10. theorem OAI.MatrixMultiplication.ExactStatisticWords.card_pos_of_supported line 133