OAI/Combinatorics/SumProduct/Alignment/MacroSelection01.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SourceIntegerArrays.endpoint_joint_decay line 33
  2. theorem OAI.SourceIntegerArrays.source_harmonic_final line 69
  3. def OAI.SourceMacroSelection.width line 142
  4. def OAI.SourceMacroSelection.left line 143
  5. def OAI.SourceMacroSelection.Stable line 146
  6. def OAI.SourceMacroSelection.modelBin line 149
  7. lemma OAI.SourceMacroSelection.width_cast line 158
  8. lemma OAI.SourceMacroSelection.left_cast line 160
  9. lemma OAI.SourceMacroSelection.width_nonneg line 162
  10. lemma OAI.SourceMacroSelection.stable_value line 166
  11. lemma OAI.SourceMacroSelection.unstable_subset_boundary line 183
  12. def OAI.SourceIntegerArrays.number line 237
  13. def OAI.SourceIntegerArrays.pieceModel line 244