OAI/NumberTheory/DirichletL/Reflection/DyadReassembly.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.InverseReflectedPhase.dependent_sum_filter_partition line 12
2. theorem OAI.SevenEighths.InverseReflectedPhase.dependent_partition_energy line 33
3. def OAI.SevenEighths.InverseReflectedPhase.dyadicPhysicalTerm line 77
4. lemma OAI.SevenEighths.InverseReflectedPhase.dyadicPhysicalTerm_at line 85
5. theorem OAI.SevenEighths.InverseReflectedPhase.dyadic_physical_energy line 103