OAI/NumberTheory/DirichletL/Moments/SecondActivePhysicalDictionary.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.CenteredMomentSecondActivePhysicalDictionary.sectorPool_active line 21
2. theorem OAI.SevenEighths.CenteredMomentSecondActivePhysicalDictionary.sector_sum_active line 27
3. theorem OAI.SevenEighths.CenteredMomentSecondActivePhysicalDictionary.sector_pair_sum_active line 37
4. theorem OAI.SevenEighths.CenteredMomentSecondActivePhysicalDictionary.sectorFrequency_active line 47
5. theorem OAI.SevenEighths.CenteredMomentSecondActivePhysicalDictionary.physicalBlock_active line 83
6. theorem OAI.SevenEighths.CenteredMomentSecondActivePhysicalDictionary.normalizedBlock_active line 99