OAI/NumberTheory/Catalan/Determinants/FixedClearedColumnsAll.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.InternalCatalan.fixedClearedZeta5 line 101
  2. theorem OAI.InternalCatalan.fixedFilteredZeta5_cleared line 151
  3. def OAI.InternalCatalan.fixedClearedZeta6 line 169
  4. theorem OAI.InternalCatalan.fixedFilteredZeta6_cleared line 219
  5. def OAI.InternalCatalan.fixedClearedZeta7 line 237
  6. theorem OAI.InternalCatalan.fixedFilteredZeta7_cleared line 287
  7. def OAI.InternalCatalan.fixedClearedZeta8 line 305
  8. theorem OAI.InternalCatalan.fixedFilteredZeta8_cleared line 355
  9. def OAI.InternalCatalan.fixedClearedZeta9 line 373
  10. theorem OAI.InternalCatalan.fixedFilteredZeta9_cleared line 423
  11. def OAI.InternalCatalan.fixedClearedMoment line 441
  12. theorem OAI.InternalCatalan.fixedFilteredMoment_cleared line 493
  13. def OAI.InternalCatalan.fixedClearedZeta line 545
  14. theorem OAI.InternalCatalan.fixedFilteredZeta_cleared line 597