OAI/Probability/SignedSweeps/ShiftedRows.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SignedSweeps.rowLen_eq_zero_of_height_le line 10
2. lemma OAI.SignedSweeps.partition_sum_padded_rows line 17
3. def OAI.SignedSweeps.shiftedRowNodes line 28
4. lemma OAI.SignedSweeps.shiftedRowNodes_strictAnti line 31
5. lemma OAI.SignedSweeps.shiftedRealRows_strictAnti line 41
6. lemma OAI.SignedSweeps.shiftedRowNodes_sum line 46
7. lemma OAI.SignedSweeps.shiftedRowNodes_erase line 66
8. lemma OAI.SignedSweeps.shiftedRowNodes_corner_pos line 81
9. lemma OAI.SignedSweeps.shiftedRealRows_erase line 87
10. lemma OAI.SignedSweeps.nodeVandermonde_eq_zero_of_eq line 100
11. lemma OAI.SignedSweeps.shiftedRows_noncorner_zero line 111