BrownianMotion
Construction of a Brownian Motion in Lean
of 6 versions of BrownianMotion
1-6Sort by
Date
282dd25
v4.22.0-rc35.8 MB360929e
v4.22.0-rc3v4.22.0-rc35.4 MB12b54ec
v4.22.0-rc2v4.22.0-rc262d992f
v4.21.0v4.21.0ac32940
v4.21.0-rc3v4.21.0-rc3892.3 KB516ce7b
v4.21.0-rc2v4.21.0-rc2