OAI/Combinatorics/MatchingCount/Algorithm/RelabelWeights.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.Enlargement.realPortion_on line 12
2. lemma OAI.MatchingFPRAS.Enlargement.realPortion_off line 16
3. def OAI.MatchingFPRAS.RationalSource.sourceEdgeEquiv line 31
4. lemma OAI.MatchingFPRAS.RationalSource.sourceEdgeEquiv_real line 34
5. lemma OAI.MatchingFPRAS.RationalSource.sourceEdgeEquiv_color line 41
6. lemma OAI.MatchingFPRAS.RationalSource.bagHeight_cast line 44
7. lemma OAI.MatchingFPRAS.RationalSource.realPortion_cast line 48
8. lemma OAI.MatchingFPRAS.RationalSource.bagWeight_cast line 62