OAI/Combinatorics/EditApproximation/Refinement/ComputedRetainedValues.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.EditApproximation.computedFamilyTableValue line 11
2. def OAI.EditApproximation.computedFamilyExpectedValue line 21
3. theorem OAI.EditApproximation.computedFamilyTableValue_bits line 27
4. theorem OAI.EditApproximation.computedFamilyExpectedValue_bits line 43
5. theorem OAI.EditApproximation.computedFamilyResult_allValues line 68
6. theorem OAI.EditApproximation.computed_height_polynomial line 87
7. theorem OAI.EditApproximation.computedFamilyResult_retained_storage line 95