OAI/Computability/MinUncut/Estimates/LocalBodyEffectivity.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.Preprocess.c_replicate line 12
2. def OAI.MinUncut.Preprocess.DemandBody.samples line 25
3. def OAI.MinUncut.Preprocess.DemandBody.bodyQuery line 27
4. lemma OAI.MinUncut.Preprocess.DemandBody.map_bodyScores line 30
5. lemma OAI.MinUncut.Preprocess.DemandBody.map_bodyQuery line 47
6. lemma OAI.MinUncut.Preprocess.DemandBody.out_bodyExpressions line 61
7. lemma OAI.MinUncut.Preprocess.DemandBody.out_bodyWeight line 68
8. lemma OAI.MinUncut.Preprocess.DemandBody.out_bodyRepetitions line 79
9. lemma OAI.MinUncut.Preprocess.DemandBody.out_repeatedExpressions line 89