OAI/Combinatorics/EditApproximation/Geometry/SeedPassNumerics.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Numerical amplification for the literal H²-copy seed update and the finite sequence of refinement passes.

  1. theorem OAI.EditApproximation.seed_copy_binary_tail line 11
  2. theorem OAI.EditApproximation.seed_state_union_numeric line 41
  3. theorem OAI.EditApproximation.seed_pass_union_numeric line 49
  4. theorem OAI.EditApproximation.computed_seed_total_failure line 64