OAI/Geometry/CylinderCovering/Rational/
692 declarations, 0 contain sorry, 0 declared as axioms; 84 files
Files
- Asymptotic.lean 8 declarations
- Bundle.lean 10 imports, no declarations
- CeilingIntegral.lean 5 declarations
- CeilingIntegralDefinitions.lean 1 declarations
- Coefficients.lean 18 declarations
- CoefficientsDefinitions.lean 7 declarations
- Construction.lean 3 declarations
- ConstructionDefinitions.lean 7 declarations
- CoordinateDictionary.lean 43 declarations
- CostActual.lean 10 declarations
- CostDictionary.lean 10 declarations
- CostExpansion.lean 4 declarations
- Coverage.lean 2 declarations
- DictionaryBridge.lean 7 declarations
- DictionaryCoefficients.lean 16 declarations
- DictionaryCoefficientsDefinitions.lean 5 declarations
- DictionaryCost.lean 10 declarations
- DictionaryCostDefinitions.lean 3 declarations
- DictionaryDefinitions.lean 34 declarations
- DictionaryExpansion.lean 7 declarations
- DictionaryExpansionDefinitions.lean 2 declarations
- DictionaryFull.lean 1 declarations
- DictionaryFullDefinitions.lean 1 declarations
- DictionaryStatementDefinitions.lean 1 declarations
- Domain.lean 16 declarations
- DomainArea.lean 26 declarations
- DomainIntegrals.lean 2 declarations
- Eligibility.lean 2 declarations
- EnergyBounds.lean 3 declarations
- EnergyIntegral.lean 18 declarations
- EnergyIntegralDefinitions.lean 3 declarations
- Equality.lean 13 declarations
- EqualityCover.lean 31 declarations
- EqualityCoverDefinitions.lean 6 declarations
- EqualityDefinitions.lean 1 declarations
- Field.lean 46 declarations
- FieldDefinitions.lean 14 declarations
- Gap.lean 4 declarations
- GlobalDifferential.lean 7 declarations
- GlobalInversion.lean 7 declarations
- GlobalInversionDefinitions.lean 1 declarations
- GlobalQuantitative.lean 8 declarations
- GlobalTopology.lean 7 declarations
- Integrals.lean 11 declarations
- InverseSum.lean 3 declarations
- Inversion.lean 8 declarations
- InversionDefinitions.lean 5 declarations
- Lipschitz.lean 5 declarations
- LogarithmicPair.lean 15 declarations
- LogarithmicStatementDefinitions.lean 3 declarations
- Normalization.lean 5 declarations
- NormalizedCost.lean 1 declarations
- OpenSchedules.lean 5 declarations
- OpenSchedulesDefinitions.lean 3 declarations
- Padding.lean 9 declarations
- Potential.lean 12 declarations
- PotentialExamples.lean 2 declarations
- Product.lean 8 declarations
- ProductDefinitions.lean 4 declarations
- RationalThreshold.lean 7 declarations
- RationalThresholdSource.lean 5 declarations
- Realization.lean 11 declarations
- RealizationDefinitions.lean 8 declarations
- ScheduleExpansions.lean 5 declarations
- Schedules.lean 6 declarations
- Similarity.lean 20 declarations
- SimilarityDefinitions.lean 7 declarations
- StrictInverse.lean 1 declarations
- TetrahedronDiameter.lean 4 declarations
- TetrahedronGeometry.lean 13 declarations
- TetrahedronGeometryDefinitions.lean 2 declarations
- TetrahedronVolume.lean 15 declarations
- ThresholdBounds.lean 7 declarations
- ThresholdDefinitions.lean 2 declarations
- ThresholdExpansion.lean 4 declarations
- UncenteredCoefficients.lean 7 declarations
- UncenteredCoefficientsDefinitions.lean 5 declarations
- UncenteredField.lean 13 declarations
- UncenteredLogarithmic.lean 2 declarations
- UncenteredPotential.lean 13 declarations
- UncenteredPotentialDefinitions.lean 3 declarations
- UncenteredThreshold.lean 5 declarations
- UncenteredThresholdDefinitions.lean 2 declarations
- Wedge.lean 6 declarations