`OAI/Dynamics/StandardMap/`

3856 declarations, 0 contain sorry, 0 declared as axioms; 274 files

Folders

Bernoulli/ 7 files, 189 declarations
Coding/ 12 files, 254 declarations
Components/ 7 files, 153 declarations
Coupling/ 12 files, 307 declarations
Entropy/ 7 files, 315 declarations
Holonomy/ 6 files, 129 declarations
Lyapunov/ 10 files, 356 declarations
Stable/ 3 files, 193 declarations
Towers/ 3 files, 76 declarations

Files

ActualBackwardCarry.lean 1 declarations
ArrayActions.lean 10 declarations
ArrayAffinity.lean 13 declarations
ArrayGrid.lean 9 declarations
ArrayHalf.lean 15 declarations
ArrayLimitSupport.lean 11 declarations
ArrayMoments.lean 8 declarations
ArrayTestCover.lean 1 declarations
ArrayTests.lean 20 declarations
ArrayTopology.lean 5 declarations
BackwardSlice.lean 3 declarations
BandCap.lean 5 declarations
BandCoboundary.lean 5 declarations
BandComparison.lean 5 declarations
BandFlux.lean 2 declarations
BandGeometry.lean 3 declarations
BandIntensity.lean 7 declarations
BandSeries.lean 6 declarations
BiCocycle.lean 19 declarations
BridgeAggregate.lean 1 declarations
BridgeAveraging.lean 5 declarations
BridgeCritical.lean 3 declarations
BridgeDecay.lean 5 declarations
BridgeDirichlet.lean 2 declarations
BridgeEligibility.lean 3 declarations
BridgeExclusions.lean 5 declarations
BridgeExist.lean 2 declarations
BridgeGrid.lean 6 declarations
BridgeKernel.lean 4 declarations
BridgeLinear.lean 4 declarations
BridgeMean.lean 5 declarations
BridgeNonlinear.lean 2 declarations
BridgePattern.lean 1 declarations
BridgeRealBound.lean 5 declarations
BridgeSamples.lean 6 declarations
BridgeScalar.lean 3 declarations
BridgeScalars.lean 3 declarations
BridgeVague.lean 4 declarations
BridgeWeights.lean 3 declarations
CancellationArea.lean 6 declarations
CancellationScalar.lean 3 declarations
CancellationTheorem.lean 8 declarations
CancellationVector.lean 10 declarations
CappedPrelimit.lean 6 declarations
CappedTests.lean 13 declarations
ChangeVariablesBounds.lean 3 declarations
ClippedTests.lean 14 declarations
ClosedEligibility.lean 7 declarations
CocycleAlgebra.lean 16 declarations
CompactRelabeling.lean 2 declarations
ComponentsMain.lean 2 declarations
ConeGrowth.lean 3 declarations
ContractingGraphPack.lean 2 declarations
CosineNull.lean 4 declarations
CoverContraction.lean 3 declarations
CriticalLaws.lean 14 declarations
CriticalLimits.lean 4 declarations
CriticalScales.lean 4 declarations
CriticalSequence.lean 18 declarations
CurveCellIntegral.lean 1 declarations
CurveCharts.lean 15 declarations
CurveColumns.lean 12 declarations
CurveCompose.lean 9 declarations
CurveCore.lean 10 declarations
CurveIntegral.lean 4 declarations
CurveIterate.lean 9 declarations
CurveLift.lean 9 declarations
CurveLineIntegral.lean 1 declarations
CurveOneStep.lean 4 declarations
CurveSubdivision.lean 7 declarations
DirichletOrbit.lean 2 declarations
DoublingPointwise.lean 7 declarations
DyadicArrays.lean 26 declarations
EndpointActions.lean 14 declarations
EndpointClasses.lean 14 declarations
EndpointCompact.lean 4 declarations
EndpointCovariance.lean 8 declarations
EndpointDefinition.lean 10 declarations
EndpointIntensity.lean 5 declarations
EndpointMatching.lean 2 declarations
EndpointObservations.lean 17 declarations
EndpointShapes.lean 9 declarations
EndpointTransport.lean 3 declarations
EntropyConjugacy.lean 5 declarations
EntropyEndpoint.lean 3 declarations
EntropyIntegral.lean 7 declarations
EntropyLyapunov.lean 3 declarations
EntropyParameters.lean 2 declarations
FastBridge.lean 3 declarations
FineArrays.lean 8 declarations
FineMoments.lean 9 declarations
FixedDeficit.lean 13 declarations
FixedPointContinuity.lean 1 declarations
FixedPointFamily.lean 3 declarations
ForwardChart.lean 2 declarations
FourPoint.lean 4 declarations
GoodCount.lean 4 declarations
GraphCalculus.lean 3 declarations
GraphDerivativeUpgrade.lean 1 declarations
GraphDistortion.lean 5 declarations
GraphFamilySmooth.lean 4 declarations
GraphJacobians.lean 8 declarations
GraphParameterContinuity.lean 4 declarations
GraphSubsetCalculus.lean 1 declarations
GraphUniqueness.lean 3 declarations
GridAtomBound.lean 6 declarations
GridBridge.lean 14 declarations
GridPartition.lean 24 declarations
GridWordIntegrals.lean 6 declarations
HalfDecomposition.lean 7 declarations
IntensityBounds.lean 3 declarations
JointGraphFamily.lean 1 declarations
LiftDynamics.lean 11 declarations
LiftEventMeasure.lean 3 declarations
LimitActions.lean 11 declarations
LimitBalance.lean 7 declarations
LimitBridge.lean 3 declarations
LimitCancellation.lean 5 declarations
LimitMoments.lean 2 declarations
LocalMidpointAffine.lean 2 declarations
LocalMidpointGrid.lean 2 declarations
LocalScarcity.lean 535 declarations
LocalSquareBridge.lean 1 declarations
LocalTestDetection.lean 3 declarations
LogDerivativeCore.lean 5 declarations
ManyGood.lean 7 declarations
MatchingAssembly.lean 2 declarations
MatchingCore.lean 4 declarations
MatchingQuantitative.lean 1 declarations
MeanCancellation.lean 10 declarations
MeanDeficit.lean 13 declarations
MeanGrowth.lean 8 declarations
MiddleCount.lean 6 declarations
MiddleObservationBridge.lean 3 declarations
MiddlePrefixBridge.lean 13 declarations
NoCriticalSequence.lean 2 declarations
NonaffineLimits.lean 8 declarations
NonlinearDirichlet.lean 2 declarations
ObservationExponential.lean 4 declarations
ObservationTransport.lean 4 declarations
OneRayZero.lean 4 declarations
PatternCount.lean 4 declarations
PatternDecay.lean 3 declarations
PlaneGeometry.lean 24 declarations
PlaneTransfer.lean 12 declarations
ProductDistances.lean 18 declarations
ProductSum.lean 1 declarations
RealArrays.lean 17 declarations
RealBridge.lean 6 declarations
RealCancellation.lean 3 declarations
RealScarcityCover.lean 3 declarations
RecenteredGraphs.lean 3 declarations
RemainderCap.lean 3 declarations
RemainderLaws.lean 21 declarations
RescaledArrays.lean 8 declarations
SampleLaws.lean 7 declarations
ScaleAction.lean 13 declarations
ScaleCancellation.lean 8 declarations
ScaleEndpoints.lean 12 declarations
ScaleEvaluation.lean 10 declarations
ScaleLaws.lean 5 declarations
ScaleTelescopes.lean 2 declarations
ScaleTestBounds.lean 4 declarations
ScaleTruncation.lean 3 declarations
ScaledChart.lean 1 declarations
ScaledContraction.lean 2 declarations
SegmentObservations.lean 9 declarations
ShapeClassification.lean 9 declarations
ShapeComponents.lean 6 declarations
ShapeCore.lean 12 declarations
ShapeLimit.lean 2 declarations
ShapeTopology.lean 15 declarations
SliceCancellation.lean 3 declarations
SmoothCap.lean 22 declarations
SmoothControl.lean 7 declarations
StablePrefix.lean 4 declarations
StrictGraphCalculus.lean 1 declarations
SweepSlice.lean 1 declarations
TerminalCap.lean 11 declarations
TerminalShortfall.lean 3 declarations
TerminalStrict.lean 15 declarations
TestObservations.lean 10 declarations
TorusDynamics.lean 19 declarations
TorusIntegral.lean 4 declarations
TorusObservations.lean 21 declarations
TransferCore.lean 21 declarations
TransportCarry.lean 1 declarations
TransportGraphs.lean 1 declarations
TransverseSweep.lean 2 declarations
TreeAffine.lean 2 declarations
TreeLine.lean 16 declarations
TreeLocalAffine.lean 7 declarations
TruncationArrays.lean 10 declarations
VagueBounds.lean 2 declarations
VagueLimits.lean 1 declarations
VagueSupport.lean 3 declarations
VariedDirichlet.lean 2 declarations
VectorGrowth.lean 5 declarations
WeightBalance.lean 4 declarations
WeightBridge.lean 7 declarations
WeightIdentification.lean 3 declarations
WeightSlow.lean 7 declarations
WeightTruncation.lean 4 declarations
WeightUnit.lean 7 declarations
WeightedChart.lean 2 declarations
WeightedCompact.lean 6 declarations
WeightedStability.lean 2 declarations