OAI/Combinatorics/MatchingCount/Sampling/RelabelMarking.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.Transport.selectedEquiv line 12
  2. def OAI.MatchingFPRAS.Transport.markedEquiv line 20
  3. lemma OAI.MatchingFPRAS.Transport.markedEquiv_fst line 24
  4. lemma OAI.MatchingFPRAS.Transport.markedEquiv_mark line 27
  5. lemma OAI.MatchingFPRAS.Transport.mass_markedEquiv line 33
  6. lemma OAI.MatchingFPRAS.Transport.partitionWeight_pmEquiv line 43
  7. lemma OAI.MatchingFPRAS.Transport.law_markedEquiv line 51