OAI/Combinatorics/EditApproximation/Geometry/ParameterNumericalConstruction.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EditApproximation.rationalParametersWithWork_value line 11
2. theorem OAI.EditApproximation.rationalParametersWithWork_cost line 15
3. theorem OAI.EditApproximation.onlineMassWithWork_value line 21
4. theorem OAI.EditApproximation.onlineMassWithWork_cost line 26
5. theorem OAI.EditApproximation.globalParameterWork_le line 32
6. theorem OAI.EditApproximation.globalParameterWork_near_linear line 38
7. theorem OAI.EditApproximation.triangularMass_word_cap line 53
8. theorem OAI.EditApproximation.onlineMass_intermediate_word_cap line 59