These files supply the dependencies of the public topic results and the MHS application. They are part of the accepted proof, not disposable development files.
- FunctionalAnalysis/: weighted function spaces, tensors, integration, weak derivatives, extensions and estimates.
- NonlinearAnalysis/: nonlinear maps, quotient constructions and their differential estimates.
- PhysicalAnalysis/: the equation-specific linear inverse, regularity, tame estimates, original Newton construction and final integration.
The module index records the module names, source paths and hashes. The reader-facing starting points are the topic guides and the root showcases.