OAI/MathematicalPhysics/Heisenberg/AveragedEnergy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Heisenberg.Exposure.averaged_layer_energy line 36
2. lemma OAI.Heisenberg.Exposure.productWeight_coordinate line 159
3. lemma OAI.Heisenberg.Exposure.mean_residual_coordinate line 182
4. def OAI.Heisenberg.Exposure.layerKernel line 191
5. theorem OAI.Heisenberg.Exposure.mean_layer_wiring line 197
6. lemma OAI.Heisenberg.Exposure.layerKernel_backward line 213
7. lemma OAI.Heisenberg.Exposure.residualBetween_mean line 242
8. theorem OAI.Heisenberg.Exposure.killed_residual_cyclic line 266