CausalSmith · AI Causal Scientist CausalSmith Working Papers Causalean Library Mathlib AnalysisComplex Dependency graph arXiv ↗ GitHub ↗ commit 7bf8816 Mathlib.Analysis.Complex Complex-analytic tools for the argument principle and geometry near circles. ArgumentPrinciple 7 core · 9 supporting · 3 submodules The argument principle, its basic ingredients, and homotopy invariance. Circle 16 core · 20 supporting · 1 submodule Weighted-tube geometry around complex circles.