OAI/Combinatorics/SharpRamsey/Parameters/
84 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- BookScales.lean 3 declarations
- EndpointScales.lean 2 declarations
- ExposureScales.lean 2 declarations
- FiniteIteration.lean 2 declarations
- HeavyPlaneScales.lean 2 declarations
- HighRankScales.lean 2 declarations
- IntegerScales.lean 2 declarations
- IterationScales.lean 7 declarations
- NoContext.lean 1 declarations
- NumericalIteration.lean 5 declarations
- OpenScales.lean 5 declarations
- ParameterIteration.lean 4 declarations
- PlanarScales.lean 3 declarations
- ProjectionScales.lean 1 declarations
- ReciprocalScales.lean 6 declarations
- SourcePencilScales.lean 4 declarations
- SourceScaleComparisons.lean 8 declarations
- SourceScales.lean 21 declarations
- SourceTrainingScales.lean 3 declarations
- TerminalGain.lean 1 declarations