OAI/Combinatorics/MatchingCount/Algorithm/TreeNumericStatisticsCorrect.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MatchingFPRAS.NumericMarking.probe_numbered line 10
2. lemma OAI.MatchingFPRAS.NumericMarking.scalarProbe_numbered line 30
3. def OAI.MatchingFPRAS.NumericMarking.reweightsRep line 46
4. lemma OAI.MatchingFPRAS.NumericMarking.reweight_rep line 48
5. lemma OAI.MatchingFPRAS.NumericMarking.extend_nonneg line 74
6. lemma OAI.MatchingFPRAS.NumericMarking.statistics_rep line 81