OAI/NumberTheory/DirichletL/Moments/LiveDomain.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SevenEighths.CenteredMomentLiveDomain.finite_column_mem line 17
2. theorem OAI.SevenEighths.CenteredMomentLiveDomain.sum_same_support line 23
3. theorem OAI.SevenEighths.CenteredMomentLiveDomain.supported_residualPool line 42
4. def OAI.SevenEighths.CenteredMomentLiveDomain.primaryGaussRow line 49
5. theorem OAI.SevenEighths.CenteredMomentLiveDomain.source_gaussPolynomial line 54
6. theorem OAI.SevenEighths.CenteredMomentLiveDomain.live_column_sum line 68
7. theorem OAI.SevenEighths.CenteredMomentLiveDomain.live_gaussPolynomial line 87
8. theorem OAI.SevenEighths.CenteredMomentLiveDomain.live_gaussEnergy line 112