CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisAnalyticParametricIntegral Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Analytic.ParametricIntegral Analytic dependence of rational integrals on parameters. Rational 6 core · 9 supporting · 5 submodules Real analyticity in a scalar parameter t of integrals of the form ∫_K (∑_{i ≤ N} cᵢ(x)·tⁱ) / ((1 − t)·a(x) + t·b(x)) dμ(x).