Lean formalization of the Kolmogorov extension theorem
RemyDegenne/kolmogorov_extension4
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit7a90b9d · | ||||
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit7a90b9d · | ||||
Lean formalization of the Kolmogorov extension theorem
