OAI/Probability/SignedSweeps/HookDimension.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.cellHookProduct line 10
2. lemma OAI.SignedSweeps.prod_cells_by_rows line 13
3. lemma OAI.SignedSweeps.cellHookProduct_eq_rows line 27
4. lemma OAI.SignedSweeps.cellHookProduct_pos line 31
5. theorem OAI.SignedSweeps.factorial_le_dimension_mul_hooks line 35
6. lemma OAI.SignedSweeps.boxHook_transpose line 53
7. lemma OAI.SignedSweeps.cellHookProduct_transpose line 58