CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib ProbabilityLimitTheorems Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Probability.LimitTheorems Approximation results used to establish probabilistic limit theorems. Approximation 4 core · 4 supporting · 2 submodules This namespace collects the reusable pieces for the converging-together theorem.