OAI/Combinatorics/PolynomialVacuum/Cylinder/Ends.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumCylinder.totalAt line 10
  2. theorem OAI.PolynomialVacuumCylinder.totalAt_single line 12
  3. def OAI.PolynomialVacuumCylinder.columnTotal line 16
  4. lemma OAI.PolynomialVacuumCylinder.prefix_full line 19
  5. lemma OAI.PolynomialVacuumCylinder.potential_top_eq line 26
  6. def OAI.PolynomialVacuumCylinder.topValue line 34
  7. lemma OAI.PolynomialVacuumCylinder.potential_top_constant line 37
  8. lemma OAI.PolynomialVacuumCylinder.totalAt_eq_sum_columns line 59
  9. theorem OAI.PolynomialVacuumCylinder.totalAt_topValue line 96
  10. def OAI.PolynomialVacuumCylinder.coord line 107
  11. lemma OAI.PolynomialVacuumCylinder.totalAt_dart_project line 109
  12. lemma OAI.PolynomialVacuumCylinder.totalAt_word_project line 115
  13. theorem OAI.PolynomialVacuumCylinder.winding_eq_topValue line 128