OAI/Combinatorics/Chromatic/Walls/ElementaryMatrixDuality.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.ElementaryMatrix.transpose line 12
  2. lemma OAI.ElementaryPositivity.ElementaryMatrix.transpose_transpose line 13
  3. def OAI.ElementaryPositivity.ElementaryMatrix.transposeEquiv line 17
  4. def OAI.ElementaryPositivity.ElementaryMatrix.rowCount line 23
  5. def OAI.ElementaryPositivity.ElementaryMatrix.colCount line 24
  6. lemma OAI.ElementaryPositivity.ElementaryMatrix.colCount_apply line 26
  7. lemma OAI.ElementaryPositivity.ElementaryMatrix.rowCount_transpose line 31
  8. lemma OAI.ElementaryPositivity.ElementaryMatrix.colCount_transpose line 34
  9. lemma OAI.ElementaryPositivity.ElementaryMatrix.rowCount_eq line 37
  10. lemma OAI.ElementaryPositivity.ElementaryMatrix.esymm_all line 42
  11. lemma OAI.ElementaryPositivity.ElementaryMatrix.elementary_product line 51
  12. lemma OAI.ElementaryPositivity.ElementaryMatrix.elementary_product_coeff line 67
  13. theorem OAI.ElementaryPositivity.ElementaryMatrix.duality line 77