OAI/Geometry/TamingCompatibility/Functional/
310 declarations, 0 contain sorry, 0 declared as axioms; 54 files
Files
- ChartCompactNeighborhood.lean 2 declarations
- ChartNormalTest.lean 15 declarations
- CompactCutoff.lean 2 declarations
- CompactPairingBound.lean 3 declarations
- CompactPositiveBilinear.lean 1 declarations
- CompactProfilePoint.lean 5 declarations
- CompactQuadratic.lean 1 declarations
- CompactUniformBound.lean 3 declarations
- ContinuousBundleNorm.lean 3 declarations
- CorrectedDdcOffCompact.lean 1 declarations
- CriticalNormalized.lean 2 declarations
- CriticalNormalizedJet.lean 1 declarations
- DualEnergyInverse.lean 2 declarations
- EnergyKernelProjection.lean 3 declarations
- FourierCutoff.lean 19 declarations
- GaugeOrthogonal.lean 4 declarations
- GaugedNormalJets.lean 1 declarations
- GeometricCompact.lean 10 declarations
- GeometricLocalPDE.lean 2 declarations
- GeometricOffCompact.lean 1 declarations
- GeometricQuadraticMass.lean 2 declarations
- GramOrthonormalBasis.lean 6 declarations
- HermitianCutoffDualBounds.lean 6 declarations
- HermitianDualBounds.lean 2 declarations
- HermitianRadialProfiles.lean 12 declarations
- LocalPatchConstruction.lean 1 declarations
- MetricL2Completion.lean 11 declarations
- NormalChart.lean 6 declarations
- NormalInverseCompact.lean 3 declarations
- NormalMap.lean 16 declarations
- NormalPatch.lean 7 declarations
- NormalSymbol.lean 13 declarations
- NormalizedFrame.lean 2 declarations
- NormalizedJet.lean 4 declarations
- ParameterNormalizedJet.lean 1 declarations
- PhysicalProfile.lean 12 declarations
- PiCompact.lean 1 declarations
- PlaneNormalization.lean 18 declarations
- QuadraticBound.lean 2 declarations
- QuadraticShell.lean 7 declarations
- QuadraticShellLimit.lean 12 declarations
- RadialEnergyDual.lean 5 declarations
- RadialNorm.lean 4 declarations
- RadialParameterJets.lean 5 declarations
- RadialPerturbation.lean 4 declarations
- RadialPhysicalJets.lean 10 declarations
- RadialSqrtDualBounds.lean 5 declarations
- RawCriticalNorm.lean 4 declarations
- RawNormal.lean 10 declarations
- ScaledDual.lean 3 declarations
- SobolevSpace.lean 26 declarations
- TestNorm.lean 1 declarations
- WeakNormal.lean 3 declarations
- WeakNormalEquation.lean 5 declarations