Supplied prerequisite proofs

The course includes the exact mathematical sources and their locally readable proofs. Each component retains its own licence.

• Complex smooth division of order one · CC0-1.0
• Angular tests, point jets and polar integration · CC0-1.0
• Lebesgue integration and smoothing — selected programme proofs · CC0 1.0
• Cauchy integrals, zeros and contour indices · CC0 1.0
• Functional extension and complete test spaces · CC0 1.0
• The gamma integral and its entire reciprocal · CC0 1.0
• Smooth inverse and implicit maps · CC0 1.0
• Scalar calculus and Euclidean topology — selected programme proofs · CC0 1.0
• Polynomial division and all complex roots · CC0 1.0
• Positive functionals and locally finite measures · CC0-1.0
• Schwartz functions and Fourier inversion · CC0-1.0
• Smooth flows with all parameter derivatives · CC0 1.0
• Complex scalars and finite algebra — selected programme proofs · CC0 1.0
• Weierstrass preparation and division · Demailly-OpenContent-custom; CC0 receiving notes

HA-LCA quotient/lattice proof route and exact checked scope · All component terms