OAI/NumberTheory/DirichletL/Energy/OriginalHighReflectionSymmetric.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.CenteredMomentEnergyOriginalHighReflectionSymmetric.energy_swap line 22
2. theorem OAI.SevenEighths.CenteredMomentEnergyOriginalHighReflectionSymmetric.balanced_four_scale_gates line 37
3. theorem OAI.SevenEighths.CenteredMomentEnergyOriginalHighReflectionSymmetric.original_unbalanced_from_low line 71