OAI/NumberTheory/DirichletL/Energy/ReferenceLowBranchGeometry.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceLowBranchGeometry.length_eq_max_log line 13
2. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceLowBranchGeometry.slot_budgets line 22
3. theorem OAI.SevenEighths.CenteredMomentEnergyReferenceLowBranchGeometry.reflected_low line 28
4. theorem OAI.SevenEighths.CenteredMomentEnergyReferenceLowBranchGeometry.deleted_reference_cases line 51
5. lemma OAI.SevenEighths.CenteredMomentEnergyReferenceLowBranchGeometry.reflected_low_admissible line 88