OAI/NumberTheory/DirichletL/Energy/ZeroBalancedDictionary.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_matches line 25
2. theorem OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_eq_positive_empty line 30
3. def OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.positiveEmptyInput line 41
4. lemma OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_pools_eq line 49
5. lemma OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_normalized_gauss_eq line 52
6. lemma OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_physical_mass_eq line 57
7. lemma OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_current_source line 62
8. theorem OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.declared_capacity line 69
9. theorem OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.balanced_four_scales line 87
10. lemma OAI.SevenEighths.CenteredMomentEnergyZeroBalancedDictionary.declared_capacity_upper line 95