OAI/Analysis/PlanarEndpoint/
656 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Folders
- Information/ 23 files, 148 declarations
Files
- AlmostOrthogonal.lean 4 declarations
- AnnularCutoff.lean 13 declarations
- BanachHeat.lean 7 declarations
- Convolution.lean 10 declarations
- DualMass.lean 7 declarations
- DyadicArithmetic.lean 5 declarations
- DyadicGraph.lean 31 declarations
- Extension.lean 19 declarations
- Fourier.lean 100 declarations
- FrequencyWeak.lean 9 declarations
- GraphDistribution.lean 5 declarations
- GraphDual.lean 22 declarations
- GraphEnergy.lean 3 declarations
- GraphLocalization.lean 4 declarations
- GraphReduction.lean 6 declarations
- GraphScaling.lean 16 declarations
- GraphSelection.lean 17 declarations
- GraphTree.lean 6 declarations
- Heat.lean 34 declarations
- Main.lean 5 imports, no declarations
- MaximalBridge.lean 7 declarations
- Oscillation.lean 40 declarations
- Representative.lean 2 declarations
- SobolevGraph.lean 4 declarations
- SpatialGrid.lean 17 declarations
- SpatialOrthogonal.lean 12 declarations
- TimeSeparation.lean 11 declarations
- TimeTree.lean 63 declarations
- UnitReduction.lean 7 declarations
- UnitScaling.lean 8 declarations
- WeakIntegration.lean 4 declarations
- WeightedGraph.lean 15 declarations