OAI/Geometry/SmoothYau/DifferentialEq/
58 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- DirectionalCompEquiv.lean 3 declarations
- ExistsMetricSignQuasimodesSubregions.lean 6 declarations
- ExistsSphericalGlobalQuasimodes.lean 2 declarations
- HmoDualNorm.lean 8 declarations
- IntegralPathSolution.lean 1 declarations
- JacobianMatrix.lean 5 declarations
- LocalDiffeomorphismDetNeZero.lean 2 declarations
- MfderivReModelTarget.lean 6 declarations
- MixedJacobianMatrix.lean 5 declarations
- SphericalOpenFormNorm.lean 12 declarations
- TransferAcross.lean 8 declarations