OAI/MathematicalPhysics/Heisenberg/HoleReturns.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Heisenberg.Exposure.holePinEquiv line 123
2. def OAI.Heisenberg.Exposure.returnCount line 130
3. lemma OAI.Heisenberg.Exposure.returnCount_split line 133
4. lemma OAI.Heisenberg.Exposure.holePins_image line 151
5. theorem OAI.Heisenberg.Exposure.outside_return_energy line 157
6. theorem OAI.Heisenberg.Exposure.exposed_layer_energy line 196