OAI/Dynamics/ThreeTorus/
1831 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- Averaging.lean 23 declarations
- Basic.lean 12 declarations
- BlockMoments.lean 91 declarations
- ColorBlocks.lean 55 declarations
- ControlledBlocks.lean 15 declarations
- Cutoffs.lean 37 declarations
- CyclicPrediction.lean 34 declarations
- DynamicsLimit.lean 21 declarations
- FiniteBlocks.lean 26 declarations
- FlatPackets.lean 90 declarations
- Geometry.lean 39 declarations
- Jitter.lean 56 declarations
- Main.lean 1 declarations
- NeutralSupport.lean 27 declarations
- PacketAlgebra.lean 19 declarations
- PacketCalculus.lean 51 declarations
- PacketStates.lean 86 declarations
- PassageDensity.lean 127 declarations
- PassageFamilies.lean 46 declarations
- PassageMass.lean 50 declarations
- PhysicalBasis.lean 35 declarations
- PhysicalJets.lean 42 declarations
- PositiveLaws.lean 116 declarations
- Prediction.lean 48 declarations
- PredictionModels.lean 75 declarations
- Preparation.lean 105 declarations
- RetainedPackets.lean 86 declarations
- SmoothLimits.lean 21 declarations
- SpectralTransport.lean 40 declarations
- Stages.lean 42 declarations
- StationaryPhase.lean 76 declarations
- SymmetricPackets.lean 35 declarations
- TensorPackets.lean 38 declarations
- TrackedPackets.lean 80 declarations
- Transmission.lean 35 declarations
- Twists.lean 35 declarations
- Whitening.lean 16 declarations