OAI/Combinatorics/MatchingCount/Sampling/Relabel.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.Transport.relabelEdge line 15
  2. lemma OAI.MatchingFPRAS.Transport.image_symm_bags line 23
  3. def OAI.MatchingFPRAS.Transport.relabelEdgeEquiv line 28
  4. lemma OAI.MatchingFPRAS.Transport.relabelEdge_incident line 35
  5. lemma OAI.MatchingFPRAS.Transport.MatchingOn.image line 44
  6. def OAI.MatchingFPRAS.Transport.pmEquiv line 58
  7. lemma OAI.MatchingFPRAS.Transport.matchingWeight_pmEquiv line 65
  8. lemma OAI.MatchingFPRAS.Transport.partition_pmEquiv line 71
  9. lemma OAI.MatchingFPRAS.Transport.gibbs_pmEquiv line 78
  10. def OAI.MatchingFPRAS.RationalSource.labelCast line 101
  11. lemma OAI.MatchingFPRAS.RationalSource.labelCast_bags line 110
  12. def OAI.MatchingFPRAS.RationalSource.labelsEquiv line 123
  13. lemma OAI.MatchingFPRAS.RationalSource.source_bags_equiv line 131