OAI/NumberTheory/Catalan/SecondBarrier/BarrierCaseTwoXExplicit.lean

GitHub source file

37 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_0 line 8
  2. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_1 line 14
  3. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_2 line 20
  4. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_3 line 26
  5. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_4 line 32
  6. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_5 line 38
  7. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_6 line 44
  8. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_7 line 50
  9. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_8 line 56
  10. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_9 line 62
  11. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_10 line 68
  12. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_11 line 74
  13. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_12 line 80
  14. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_13 line 86
  15. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_14 line 92
  16. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_15 line 98
  17. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_16 line 104
  18. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_17 line 110
  19. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_18 line 116
  20. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_19 line 122
  21. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_20 line 128
  22. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_21 line 134
  23. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_22 line 140
  24. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_23 line 146
  25. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_24 line 152
  26. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_25 line 158
  27. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_26 line 164
  28. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_27 line 170
  29. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_28 line 176
  30. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_29 line 182
  31. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_30 line 188
  32. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_31 line 194
  33. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_32 line 200
  34. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_33 line 206
  35. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff_34 line 212
  36. theorem OAI.InternalCatalan.barrierCase2AXExplicit_natDegree line 218
  37. theorem OAI.InternalCatalan.barrierCase2AXExplicit_coeff line 222