kolmogorov_extension4
Lean formalization of the Kolmogorov extension theorem
of 1 packages depending on RemyDegenne/kolmogorov_extension4
1-1Sort by
Package Name
RemyDegenne/BrownianMotionuses
fda7253
Construction of a Brownian Motion in Lean
fda7253