CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib Algebra Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Algebra Algebraic infrastructure for finite sums and products, count-vector combinatorics, and reusable ring identities. BigOperators 7 core · 7 supporting · 4 submodules Reusable identities for finite sums and products, including moments under finite product weights.