OAI/Analysis/AllenCahn/
923 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- Barriers.lean 27 declarations
- Basic.lean 34 declarations
- Bernstein.lean 23 declarations
- BernsteinGradient.lean 8 declarations
- CompactCone.lean 6 declarations
- ConeDerivatives.lean 8 declarations
- Conjugation.lean 2 declarations
- Curvature.lean 7 declarations
- Cutoffs.lean 20 declarations
- DefectCalculus.lean 23 declarations
- DefectDrift.lean 1 declarations
- DefectLimits.lean 22 declarations
- Differences.lean 22 declarations
- DriftBounds.lean 2 declarations
- DriftMaximum.lean 37 declarations
- DriftPropagation.lean 2 declarations
- DyadicDerivatives.lean 20 declarations
- Eikonal.lean 29 declarations
- EllipticCompactness.lean 8 declarations
- EllipticRegularity.lean 5 declarations
- EndpointMaximum.lean 37 declarations
- EndpointSeparation.lean 6 declarations
- ExtremeRays.lean 7 declarations
- ExtremeWindows.lean 20 declarations
- GroundState.lean 7 declarations
- Hessian.lean 26 declarations
- HessianControl.lean 11 declarations
- JetCompactness.lean 18 declarations
- JetProducts.lean 27 declarations
- LogGradient.lean 17 declarations
- Main.lean 3 imports, no declarations
- Modica.lean 19 declarations
- NormalMass.lean 13 declarations
- NormalizedJets.lean 32 declarations
- PoissonEstimates.lean 9 declarations
- PoissonMaximum.lean 42 declarations
- PositiveCone.lean 17 declarations
- PositiveJets.lean 1 declarations
- PositiveWindows.lean 20 declarations
- Profiles.lean 6 declarations
- Reach.lean 22 declarations
- RegularityModel.lean 42 declarations
- RelativeDerivatives.lean 21 declarations
- Resolvent.lean 25 declarations
- ResolventJets.lean 29 declarations
- SchwartzResolvent.lean 6 declarations
- SechSpectrum.lean 34 declarations
- SmallDefect.lean 26 declarations
- StrongMaximum.lean 25 declarations
- TensorBounds.lean 16 declarations
- TensorCalculus.lean 9 declarations
- TensorSources.lean 21 declarations
- ZeroDefect.lean 6 declarations