OAI/Probability/SwitchChain/SliceEquality.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem315.SliceEquality.equalityIndicator line 10
  2. def OAI.Problem315.SliceEquality.centeredEquality line 14
  3. def OAI.Problem315.SliceEquality.offDiagonal line 17
  4. theorem OAI.Problem315.SliceEquality.equalityIndicator_polynomial line 20
  5. theorem OAI.Problem315.SliceEquality.centeredEquality_polynomial line 27
  6. theorem OAI.Problem315.SliceEquality.centeredEquality_symmetric line 34
  7. theorem OAI.Problem315.SliceEquality.offDiagonal_symmetric line 39
  8. theorem OAI.Problem315.SliceEquality.sum_offDiagonal line 45
  9. theorem OAI.Problem315.SliceEquality.centeredEquality_row_sum line 56
  10. theorem OAI.Problem315.SliceEquality.additive_coeff_pairing line 72
  11. theorem OAI.Problem315.SliceEquality.additive_centeredEquality_image line 89
  12. theorem OAI.Problem315.SliceEquality.centeredEquality_total line 107
  13. theorem OAI.Problem315.SliceEquality.centeredEquality_total_zero line 119
  14. theorem OAI.Problem315.SliceEquality.row_zero_centeredEquality_image line 135
  15. theorem OAI.Problem315.SliceEquality.row_zero_offDiagonal_centeredEquality_image line 170