OAI/Combinatorics/KMedian/Process/
802 declarations, 0 contain sorry, 0 declared as axioms; 89 files
Files
- ActionDegrees.lean 3 declarations
- ActionTransitionList.lean 12 declarations
- ActualActions.lean 9 declarations
- AdaptiveCount.lean 2 declarations
- AveragedCount.lean 1 declarations
- AveragedDrift.lean 4 declarations
- AveragedGenerator.lean 1 declarations
- BackupGeometry.lean 2 declarations
- BackupInvariant.lean 2 declarations
- BatchActionArrays.lean 20 declarations
- BatchActionCodes.lean 8 declarations
- BatchActionList.lean 18 declarations
- BatchEstimate.lean 2 declarations
- BatchGraphData.lean 18 declarations
- BatchOrdinalArrays.lean 11 declarations
- BatchOrdinalCodes.lean 18 declarations
- BatchProposalProgram.lean 11 declarations
- BatchUniform.lean 4 declarations
- ConditionalRoundDrift.lean 1 declarations
- CopyGraphProgram.lean 16 declarations
- CopyListEncoding.lean 10 declarations
- CopyNearestProgram.lean 9 declarations
- CopyNextProgram.lean 13 declarations
- CopyRound.lean 14 declarations
- CopyState.lean 17 declarations
- CopyTransport.lean 10 declarations
- CountGeometry.lean 7 declarations
- CountInstantiation.lean 1 declarations
- CountListOperations.lean 20 declarations
- CountRunHeight.lean 6 declarations
- CountRunProgram.lean 19 declarations
- CountSize.lean 3 declarations
- CountSource.lean 9 declarations
- CountStepProgram.lean 30 declarations
- CountTail.lean 2 declarations
- CountVariance.lean 4 declarations
- CountsMaskProgram.lean 3 declarations
- ErasureDecay.lean 2 declarations
- FiniteGraph.lean 8 declarations
- ForceBatchBound.lean 6 declarations
- ForcedLocal.lean 1 declarations
- ForcedTransition.lean 1 declarations
- FrozenBatchBound.lean 3 declarations
- FullBatchBound.lean 1 declarations
- GeneratorAverage.lean 8 declarations
- GeneratorBound.lean 1 declarations
- GroupCap.lean 10 declarations
- HeavyActions.lean 14 declarations
- LocalBatchUniform.lean 1 declarations
- LocalForceScale.lean 4 declarations
- PhaseBatchBound.lean 3 declarations
- PhysicalBatchLaw.lean 9 declarations
- PhysicalBatchList.lean 7 declarations
- PhysicalBatchProgram.lean 12 declarations
- PhysicalBatchUpdateProgram.lean 15 declarations
- PhysicalCountGeometry.lean 5 declarations
- PhysicalCountLaw.lean 2 declarations
- PhysicalHistoriesProgram.lean 14 declarations
- PhysicalOldMass.lean 5 declarations
- PhysicalPotential.lean 24 declarations
- PhysicalProcess.lean 1 declarations
- PhysicalRound.lean 10 declarations
- PhysicalRoundProgram.lean 14 declarations
- PhysicalState.lean 6 declarations
- ProcessCompletion.lean 2 declarations
- QuadraticCount.lean 8 declarations
- RoundCountsProgram.lean 20 declarations
- RoundParameters.lean 5 declarations
- RoundWithCount.lean 1 declarations
- RoundingCoordinateHeight.lean 11 declarations
- RoundingListOperations.lean 38 declarations
- RoundingRunHeight.lean 5 declarations
- RoundingRunProgram.lean 20 declarations
- RoundingStateCompiler.lean 11 declarations
- RoundingUniformStep.lean 22 declarations
- SourceAverage.lean 1 declarations
- SourceBalance.lean 12 declarations
- SourceDriftLaw.lean 1 declarations
- SourceGenerator.lean 7 declarations
- StateInvariants.lean 5 declarations
- SurvivalProbability.lean 5 declarations
- Taper.lean 16 declarations
- TaperAllProgram.lean 13 declarations
- TaperData.lean 2 declarations
- TaperGraph.lean 4 declarations
- TaperGraphProgram.lean 14 declarations
- TaperListProgram.lean 26 declarations
- TaperReindex.lean 14 declarations
- UnbalancedActions.lean 12 declarations