CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisNormedSpaceDuality Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.NormedSpace.Duality Finite-dimensional ℓ¹/ℓ∞ duality for node-sampled polynomials. L1Linf 19 core · 26 supporting · 6 submodules Finite-dimensional ℓ¹/ℓ∞ duality for node-sampled polynomials, from the moment-system setup and Hahn–Banach construction through weak and strong duality.