OAI/Combinatorics/SumProduct/Alignment/MacroSelection02.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SourceMacroSelection.raw_coarse_bound line 18
2. theorem OAI.SourceMacroSelection.source_macro_selection_decay line 74
3. lemma OAI.SourceMacroSelection.tail_mass line 133
4. theorem OAI.SourceMacroSelection.source_joint_macro_decay line 147
5. theorem OAI.AdmissibleArrayScales.source_array_scales line 196