OAI/Probability/SignedSweeps/BetaNumbers.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SignedSweeps.boxHook line 9
  2. lemma OAI.SignedSweeps.boxHook_pos line 12
  3. def OAI.SignedSweeps.columnEndNode line 19
  4. lemma OAI.SignedSweeps.columnEndNode_strictMono line 22
  5. lemma OAI.SignedSweeps.columnEndNode_lt_shiftedRow line 29
  6. lemma OAI.SignedSweeps.columnEndNode_ne_shiftedRow line 38
  7. lemma OAI.SignedSweeps.shiftedRow_sub_columnEnd_hook line 50
  8. lemma OAI.SignedSweeps.shiftedRow_range_decomposition line 59
  9. theorem OAI.SignedSweeps.row_hook_beta_factorial line 85
  10. def OAI.SignedSweeps.diagramHookProduct line 108
  11. lemma OAI.SignedSweeps.diagramHookProduct_pos line 111
  12. theorem OAI.SignedSweeps.hookProduct_vandermonde line 116