CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib Combinatorics Dependency graph arXiv ↗ GitHub ↗ commit 715add8 Mathlib.Combinatorics Finite combinatorial and spectral infrastructure for uniform subset slices and their linear operators. JohnsonKneser 16 core · 29 supporting · 3 submodules Johnson harmonic decomposition of uniform subset slices and the Kneser disjointness operator's degree-wise eigenvalues.