CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisNormed Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Normed Normed-space and normed-ring infrastructure for infinite sums and product-series estimates. Ring 1 core · 3 supporting · 1 submodule Normed-ring tools for summability and coefficientwise control of real-valued series.