OAI/Probability/LatticeSurface/Dynamics/WeightedBathDefinitions.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BrownianForcing.FreeHeightSpace line 10
2. def OAI.BrownianForcing.weightedBodyMeasure line 12
3. def OAI.BrownianForcing.weightedBodyLaw line 16
4. def OAI.BrownianForcing.linearVectorPath line 20
5. def OAI.BrownianForcing.reverseVectorPath line 23
6. def OAI.BrownianForcing.fullReflectedMap line 27
7. def OAI.BrownianForcing.reflectedBathLaw line 34