CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisNormedRing Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Normed.Ring Normed-ring tools for summability and coefficientwise control of real-valued series. InfiniteSum 1 core · 3 supporting · 1 submodule Normalization and `ℓ¹` stability of finite products of nonnegative summable real series.