CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisComplexCircle Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Complex.Circle Weighted-tube geometry around complex circles. WeightedTube 16 core · 20 supporting · 3 submodules Geometric bounds for weighted tubes around a complex circle, including packing and side-mass estimates.