OAI/Combinatorics/EditApproximation/Binary/BinaryPreparedComputedCell.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The cell kernel constructs its rational scales from the dyadic parameter exponents.

  1. def OAI.EditApproximation.BinaryFraction.preparedComputedCellGroupWithWork line 12
  2. theorem OAI.EditApproximation.BinaryFraction.preparedComputedCellGroupWithWork_value line 26