OAI/MathematicalPhysics/Heisenberg/PinBridge.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Heisenberg.Cycle.missing_iff_not_hit line 12
2. lemma OAI.Heisenberg.Exposure.coinWiring_eq_history line 23
3. lemma OAI.Heisenberg.Exposure.layerMass_pinDensity line 31
4. def OAI.Heisenberg.Exposure.cutAdmissible line 37
5. lemma OAI.Heisenberg.Exposure.growth_subtype line 42
6. lemma OAI.Heisenberg.Exposure.cut_moment_of_induction line 55
7. lemma OAI.Heisenberg.Exposure.returnFraction_layer line 74