OAI/Dynamics/SmoothObstruction/
1618 declarations, 0 contain sorry, 0 declared as axioms; 53 files
Files
- AsymptoticSplitting.lean 13 declarations
- BoundaryDensity.lean 5 declarations
- BoundaryMatching.lean 30 declarations
- Charts.lean 48 declarations
- CoordinateTubes.lean 11 declarations
- Coordinates.lean 17 declarations
- Counting.lean 6 declarations
- DensityBounds.lean 16 declarations
- DensityLocalization.lean 11 declarations
- DyadicChord.lean 38 declarations
- EndpointFrames.lean 37 declarations
- EndpointMass.lean 34 declarations
- ExteriorPowers.lean 27 declarations
- FiniteEntropy.lean 33 declarations
- FiniteLaw.lean 34 declarations
- GlobalSwitching.lean 9 declarations
- GreenOperator.lean 69 declarations
- GridCells.lean 31 declarations
- InvariantMeasure.lean 17 declarations
- Main.lean 7 declarations
- ManifoldMatching.lean 22 declarations
- MinorTransfer.lean 35 declarations
- Models.lean 14 declarations
- NonlinearMatching.lean 21 declarations
- Obstruction.lean 26 declarations
- OrthogonalCocycle.lean 35 declarations
- PairBounds.lean 50 declarations
- PairLaw.lean 13 declarations
- PartitionEntropy.lean 29 declarations
- PhaseDynamics.lean 23 declarations
- PhaseEntropy.lean 19 declarations
- ProductCoordinates.lean 21 declarations
- Recognition.lean 56 declarations
- Sampling.lean 56 declarations
- Selection.lean 24 declarations
- ShearGauge.lean 28 declarations
- ShortDerivative.lean 18 declarations
- ShortScales.lean 11 declarations
- SmoothScales.lean 32 declarations
- SpectralBins.lean 41 declarations
- Splitting.lean 41 declarations
- SplittingStability.lean 29 declarations
- StandardProbability.lean 14 declarations
- StationaryGauge.lean 29 declarations
- SwitchRecovery.lean 21 declarations
- SwitchScales.lean 20 declarations
- SymbolCores.lean 9 declarations
- TubeProjection.lean 31 declarations
- WordEntropy.lean 92 declarations
- WordHierarchy.lean 95 declarations
- WordLaw.lean 30 declarations
- WordParameters.lean 78 declarations
- WordStep.lean 62 declarations