Weierstrass Sufficient Condition analysis Oka–Weil Approximation Theorem analysis Cesaro Summability Extends Ordinary Convergence analysis Biholomorphic Invariance of the Bergman Metric analysis Homotopy Operator Identity on Star-Shaped Domains analysis Acyclicity of Coherent Sheaves on Stein Manifolds analysis Hartogs–Bochner Theorem analysis Ohsawa-Takegoshi $L^2$ Extension Theorem for Smooth Divisors analysis