OAI/Combinatorics/Sensitivity/
334 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- Basic.lean 23 declarations
- ComparisonSequences.lean 16 declarations
- Composition.lean 7 declarations
- CompositionFamilies.lean 2 declarations
- ConstructedSeed.lean 2 declarations
- Construction.lean 22 declarations
- DividedProfiles.lean 1 declarations
- FiniteDepthError.lean 3 declarations
- FixedCoordinates.lean 2 declarations
- HammingBase.lean 15 declarations
- HammingSource.lean 2 declarations
- InitialPredicates.lean 17 declarations
- Iterates.lean 14 declarations
- Labeling.lean 4 declarations
- LabelingBounds.lean 2 declarations
- LabelingConstraints.lean 2 declarations
- LabelingEstimate.lean 6 declarations
- LabelingEvents.lean 8 declarations
- LabelingProbability.lean 4 declarations
- Main.lean 50 imports, no declarations
- Model.lean 5 declarations
- Or.lean 10 declarations
- OrSource.lean 2 declarations
- ParameterBounds.lean 6 declarations
- PowerAmplification.lean 3 declarations
- ProfileArithmetic.lean 7 declarations
- QuantitativeProfiles.lean 1 declarations
- Recursive.lean 1 declarations
- RecursiveBlocks.lean 10 declarations
- RecursiveCandidates.lean 7 declarations
- RecursiveChildren.lean 4 declarations
- RecursiveDefinitions.lean 14 declarations
- RecursiveFailures.lean 13 declarations
- RecursiveFlips.lean 5 declarations
- RecursiveJointZero.lean 2 declarations
- RecursiveOne.lean 4 declarations
- RecursiveProfiles.lean 12 declarations
- RecursiveRepair.lean 3 declarations
- RecursiveSets.lean 9 declarations
- RecursiveZero.lean 2 declarations
- Reindex.lean 9 declarations
- ScalarBounds.lean 2 declarations
- SeedAmplification.lean 1 declarations
- Separation.lean 3 declarations
- SeparationArithmetic.lean 9 declarations
- Tournament.lean 8 declarations
- TournamentCounts.lean 4 declarations
- TournamentCyclic.lean 3 declarations
- Tower.lean 16 declarations
- TowerProfiles.lean 6 declarations
- UniformCoordinates.lean 1 declarations