OAI/MathematicalPhysics/Heisenberg/SparseEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.SparseSum.dyadic_power line 19
2. theorem OAI.Heisenberg.SparseSum.sparse_kernel_sum line 23
3. theorem OAI.Heisenberg.FlowAggregation.total_energy line 91
4. lemma OAI.Heisenberg.FlowAggregation.kernel_displacement line 128
5. lemma OAI.Heisenberg.FlowAggregation.averaged_overlap line 146
6. lemma OAI.Heisenberg.FlowAggregation.energy_le_row line 202
7. theorem OAI.Heisenberg.FlowAggregation.injection_energy line 229