OAI/Combinatorics/MatchingPSD/TransitionMatrices.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingSmoothing.tensorKernel line 12
  2. lemma OAI.MatchingSmoothing.tensorKernel_mul line 16
  3. lemma OAI.MatchingSmoothing.tensorKernel_transpose line 27
  4. lemma OAI.MatchingSmoothing.tensorKernel_one line 31
  5. lemma OAI.MatchingSmoothing.tensorKernel_orthogonal line 43
  6. lemma OAI.MatchingSmoothing.tensorKernel_overlap line 48
  7. lemma OAI.MatchingSmoothing.tensorKernel_relabel line 55
  8. lemma OAI.MatchingSmoothing.tensorKernel_mulVec_relabel line 60
  9. def OAI.MatchingSmoothing.pairDiagonal line 75
  10. def OAI.MatchingSmoothing.pairWeight line 78
  11. lemma OAI.MatchingSmoothing.tensorKernel_mulVec_pairDiagonal line 81
  12. lemma OAI.MatchingSmoothing.pairWeight_overlap line 104
  13. lemma OAI.MatchingSmoothing.pairDiagonal_abs_le line 114
  14. lemma OAI.MatchingSmoothing.pairWeight_overlap_le line 123