OAI/Probability/SignedSweeps/RowDimensionFormula.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.factorial_product_decrement line 10
2. def OAI.SignedSweeps.rowDegreeCandidate line 26
3. lemma OAI.SignedSweeps.rowDegreeCandidate_nonneg line 30
4. lemma OAI.SignedSweeps.shiftedRowFactorial_product_pos line 36
5. theorem OAI.SignedSweeps.rowDegreeCandidate_branching line 40
6. lemma OAI.SignedSweeps.rowDegreeCandidate_empty line 105
7. theorem OAI.SignedSweeps.rowDegreeCandidate_le_dimension line 147