Jacobian Matrix Definition Determinant Definition Lebesgue Measure Definition Measurable Function Definition Lebesgue Integral Definition Dimension of the Space of Polynomials of Degree at Most $d$ Analysis Microlocal Elliptic Regularity for Pseudodifferential Operators Analysis Rauch Comparison Bound for the Conjugate Radius Analysis Minimal Surface Equation for Graphs Analysis Continuous Open Bijection Characterisation of Homeomorphism Analysis FTC Part Two Integration Global Schauder Estimate for the Dirichlet Laplacian Partial Differential Equations Automatic Continuity of $*$-Homomorphisms Analysis Analysis Area