OAI/Combinatorics/ContingencyTables/Machines/MatrixCodeEquality.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Polynomial equality of explicitly stored rectangular arrays

  1. def OAI.ContingencyTables.DensePrograms.matrixSignature line 11
  2. def OAI.ContingencyTables.DensePrograms.matrixSignatureRealizer line 13
  3. lemma OAI.ContingencyTables.DensePrograms.polynomial_matrixSignature line 15
  4. lemma OAI.ContingencyTables.DensePrograms.matrixSignature_injective line 18
  5. def OAI.ContingencyTables.DensePrograms.matrixEqual line 22
  6. lemma OAI.ContingencyTables.DensePrograms.polynomial_matrixEqual line 28
  7. lemma OAI.ContingencyTables.DensePrograms.matrixCode_injective line 36