OAI/Combinatorics/StripMass/ThreeBoxBraidPolynomial.lean

GitHub source file

52 declarations, 0 contain sorry, 0 declared as axioms

Critical honeycomb strip paths, polynomial identities and crossing mass.

  1. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_0 line 14
  2. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_1 line 23
  3. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_2 line 34
  4. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_3 line 45
  5. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_4 line 54
  6. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_5 line 65
  7. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_6 line 76
  8. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_7 line 87
  9. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_8 line 98
  10. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_9 line 109
  11. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_10 line 118
  12. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_11 line 129
  13. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_12 line 140
  14. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_13 line 149
  15. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_14 line 160
  16. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_15 line 171
  17. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_16 line 182
  18. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_17 line 193
  19. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_18 line 204
  20. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_19 line 213
  21. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_20 line 224
  22. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_21 line 235
  23. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_22 line 244
  24. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_23 line 255
  25. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_24 line 266
  26. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_25 line 277
  27. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_26 line 286
  28. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_27 line 297
  29. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_28 line 306
  30. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_29 line 317
  31. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_30 line 326
  32. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_31 line 337
  33. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_32 line 348
  34. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_33 line 357
  35. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_34 line 368
  36. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_35 line 379
  37. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_36 line 390
  38. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_37 line 399
  39. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_38 line 410
  40. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_39 line 421
  41. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_40 line 430
  42. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_41 line 441
  43. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_42 line 452
  44. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_43 line 463
  45. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_44 line 472
  46. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_45 line 483
  47. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_46 line 494
  48. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_47 line 505
  49. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_48 line 516
  50. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_49 line 527
  51. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator_50 line 538
  52. theorem OAI.CriticalStrip.Diagram.ThreeBox.braid_numerator line 549