CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib DataNat Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Data.Nat Combinatorial identities for natural numbers, factorials, and finite count vectors. Choose 2 core · 0 supporting · 2 submodules Multinomial and factorial identities for fixed-degree finite count vectors.