OAI/Dynamics/StandardMap/Coupling/
307 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- ActualFiniteRecodingBounds.lean 27 declarations
- AtomlessFinitePartition.lean 20 declarations
- ChunkNameCost.lean 20 declarations
- CoarseConditionalBudget.lean 19 declarations
- ConditionalRefinementInformation.lean 19 declarations
- FiniteConditionalLawTests.lean 37 declarations
- FiniteMaximalCoupling.lean 35 declarations
- FiniteProductVariance.lean 24 declarations
- FiniteVectorEntropy.lean 27 declarations
- IidFiniteWindowApprox.lean 21 declarations
- RelativeFiniteRealization.lean 19 declarations
- SequentialChunkCoupling.lean 39 declarations