OAI/NumberTheory/Jacobsthal/Harmonic/HyperbolaFourier.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Erdos970.ErdosHyperbolaIdentities.integerWeight_orthogonality line 14
2. theorem OAI.Erdos970.ErdosHyperbolaIdentities.integerWeight_zero line 35
3. theorem OAI.Erdos970.ErdosHyperbolaIdentities.double_weighted_kernel line 49
4. theorem OAI.Erdos970.ErdosHyperbolaIdentities.double_fourier_scaled line 67
5. theorem OAI.Erdos970.ErdosHyperbolaIdentities.count_eq_fourier line 95