OAI/Combinatorics/Chromatic/Walls/TriangularGapTotals.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ElementaryPositivity.TriangularDynamics.levelTotal_node line 14
  2. lemma OAI.ElementaryPositivity.TriangularDynamics.levelTotal_gap line 37
  3. lemma OAI.ElementaryPositivity.TriangularDynamics.levelTotal_roots line 49
  4. lemma OAI.ElementaryPositivity.TriangularDynamics.gapValue_end_eq line 60
  5. def OAI.ElementaryPositivity.TriangularDynamics.gapU line 82
  6. def OAI.ElementaryPositivity.TriangularDynamics.indexedCell line 85
  7. def OAI.ElementaryPositivity.TriangularDynamics.gapXi line 88
  8. lemma OAI.ElementaryPositivity.TriangularDynamics.gapU_first line 91
  9. lemma OAI.ElementaryPositivity.TriangularDynamics.gapU_upper line 97
  10. lemma OAI.ElementaryPositivity.TriangularDynamics.gapXi_formula line 106
  11. lemma OAI.ElementaryPositivity.TriangularDynamics.gapXi_pairing line 126
  12. def OAI.ElementaryPositivity.TriangularDynamics.actualIntegerGaps line 150