OAI/Dynamics/ConditionalShuffle/
663 declarations, 0 contain sorry, 0 declared as axioms; 63 files
Files
- CanonicalBridge.lean 11 declarations
- ColorCylinder.lean 4 declarations
- ColorLayer.lean 18 declarations
- ColorProduct.lean 1 declarations
- ColorRanks.lean 21 declarations
- ColorSplit.lean 15 declarations
- ConditionalMixing.lean 6 declarations
- CycleEnergy.lean 22 declarations
- CycleIterate.lean 8 declarations
- Disintegration.lean 115 declarations
- Exchangeable.lean 3 declarations
- FiberTransport.lean 2 declarations
- Fibers.lean 7 declarations
- FiniteMinorization.lean 12 declarations
- HybridCycles.lean 17 declarations
- HybridPrefix.lean 7 declarations
- HybridRaw.lean 8 declarations
- InjectionKernel.lean 18 declarations
- Instrument.lean 28 declarations
- InstrumentAppend.lean 10 declarations
- InstrumentBound.lean 3 declarations
- InstrumentChunks.lean 6 declarations
- InstrumentMap.lean 5 declarations
- InstrumentTV.lean 15 declarations
- Main.lean 8 declarations
- OverlayConditioning.lean 7 declarations
- OverlayDistance.lean 2 declarations
- OverlayFiber.lean 12 declarations
- OverlayGauge.lean 10 declarations
- OverlayLaw.lean 12 declarations
- OverlayMain.lean 7 declarations
- OverlayModel.lean 10 declarations
- OverlayRate.lean 11 declarations
- PhysicalInstrument.lean 9 declarations
- PhysicalMix.lean 5 declarations
- PhysicalOne.lean 6 declarations
- PhysicalRate.lean 2 declarations
- PredictableResample.lean 4 declarations
- PrepEnergy.lean 8 declarations
- Ranks.lean 9 declarations
- Rates.lean 6 declarations
- RawLinear.lean 6 declarations
- ResampleFiber.lean 2 declarations
- ResampledInstrument.lean 4 declarations
- ResetEnergy.lean 10 declarations
- ResetMinorization.lean 9 declarations
- ResetPartial.lean 3 declarations
- ResetReverse.lean 12 declarations
- SampleProduct.lean 5 declarations
- ScheduledCost.lean 1 declarations
- ScheduledInstrument.lean 16 declarations
- ScheduledRate.lean 9 declarations
- ScheduledTransport.lean 5 declarations
- SelectedSchedule.lean 9 declarations
- Sequences.lean 5 declarations
- SignProduct.lean 3 declarations
- SortedImages.lean 4 declarations
- SweepAverage.lean 7 declarations
- SweepPoint.lean 29 declarations
- TVTransport.lean 4 declarations
- Trimming.lean 10 declarations
- TwoColors.lean 10 declarations
- UniformEnergy.lean 10 declarations