OAI/Combinatorics/CompleteCrossing/PairSums.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Symmetric double and quadruple sums over unordered pairs.

  1. def OAI.Paper170.upperPairSum line 16
  2. theorem OAI.Paper170.upperPairSum_mul line 19
  3. theorem OAI.Paper170.sum_symmetric_pair line 24
  4. theorem OAI.Paper170.sum_symmetric_quad line 55