OAI/Probability/LatticeSurface/Brownian/BrownianVectorSupport.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BrownianForcing.VectorPath line 10
2. instance OAI.BrownianForcing.(instance at line 15) line 15
3. instance OAI.BrownianForcing.(instance at line 17) line 17
4. def OAI.BrownianForcing.twoPieceVector line 19
5. def OAI.BrownianForcing.scalarEval line 22
6. lemma OAI.BrownianForcing.twoPieceVector_half line 35
7. lemma OAI.BrownianForcing.twoPieceVector_last line 39
8. lemma OAI.BrownianForcing.twoPieceVector_zero line 43
9. lemma OAI.BrownianForcing.scalarEval_twoPiece line 46
10. lemma OAI.BrownianForcing.varianceTwo_representer line 50