Almgren–Federer Dimension Bound for Area-Minimizing Currents Analysis RESET THEOREM Partial Differential Equations Interior–Closure Duality Topology Chain Rule for Directional Derivatives Along Curves Analysis Convergence of Functional Iteration for Implicit ODE Steps Numerical Analysis T(1) Theorem (David–Journé) Analysis Fock Space Construction of a Semicircular Family Analysis Busemann Function Subharmonicity under Nonnegative Ricci Curvature Analysis Analysis Area