OAI/Combinatorics/SphericalRamsey/
75 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- AffineCopy.lean 4 declarations
- AffineCopyCore.lean 3 declarations
- AlgebraicExtension.lean 9 declarations
- BasisDerivation.lean 13 declarations
- Coloring.lean 1 declarations
- CopyInvariant.lean 2 declarations
- DerivationCoordinates.lean 1 declarations
- EnergyIdentity.lean 4 declarations
- Main.lean 2 declarations
- Model.lean 13 declarations
- MonochromaticObstruction.lean 4 declarations
- Parameter.lean 4 declarations
- Ramsey.lean 2 declarations
- RealDerivation.lean 1 declarations
- RealTranscendenceBasis.lean 1 declarations
- Result.lean 1 declarations
- Specification.lean 1 import, no declarations
- WitnessCoordinates.lean 4 declarations
- WitnessScalars.lean 6 declarations