OAI/Analysis/MumfordShah/
392 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- ArcGraphs.lean 6 declarations
- CompactExclusion.lean 10 declarations
- Cutoffs.lean 7 declarations
- DecayComparison.lean 21 declarations
- Decomposition.lean 10 declarations
- EnergyLimits.lean 16 declarations
- ExteriorPotential.lean 25 declarations
- GradientProjection.lean 13 declarations
- GraphCalculus.lean 29 declarations
- GraphFlux.lean 5 declarations
- HarmonicAnalysis.lean 17 declarations
- HarmonicProjection.lean 14 declarations
- JumpInteraction.lean 7 declarations
- LocalFlux.lean 16 declarations
- LocalPotential.lean 31 declarations
- Model.lean 27 declarations
- Poincare.lean 21 declarations
- ProjectionPairing.lean 7 declarations
- RotationRigidity.lean 6 declarations
- SobolevAlgebra.lean 13 declarations
- TestablePotential.lean 10 declarations
- TranslatedCompetitor.lean 14 declarations
- Variations.lean 17 declarations
- WeakHarmonic.lean 50 declarations