OAI/Combinatorics/EditApproximation/Refinement/PhysicalLocalValueBits.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Actual cached local values have short canonical rational encodings on every seed, without an accuracy event.

  1. theorem OAI.EditApproximation.unifiedPhysicalValue_encoding_bits line 12
  2. theorem OAI.EditApproximation.localRequestValue_encoding_bits line 31
  3. theorem OAI.EditApproximation.chargedRequestValue_encoding_bits line 49