OAI/Geometry/CylinderCovering/Nilpotent/
387 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- ApexBridge.lean 3 declarations
- ApexIdentities.lean 6 declarations
- ApexNet.lean 20 declarations
- ApexNetDefinitions.lean 10 declarations
- ApexPhysical.lean 8 declarations
- ApexPhysicalDefinitions.lean 5 declarations
- BasicDefinitions.lean 7 declarations
- Bounds.lean 6 declarations
- C1.lean 1 declarations
- Construction.lean 16 declarations
- ConstructionDefinitions.lean 7 declarations
- Corollaries.lean 4 declarations
- Cost.lean 20 declarations
- CostDefinitions.lean 5 declarations
- Counterexample.lean 5 declarations
- DomainExample.lean 12 declarations
- DomainExampleDefinitions.lean 2 declarations
- ExceptionalSupport.lean 4 imports, no declarations
- ExplicitCorollaries.lean 2 declarations
- Field.lean 12 declarations
- FieldDefinitions.lean 2 declarations
- Finite.lean 17 declarations
- FiniteDefinitions.lean 4 declarations
- Grid.lean 12 declarations
- GridBridge.lean 9 declarations
- GridConvergence.lean 2 declarations
- GridDefinitions.lean 7 declarations
- GridMeasure.lean 13 declarations
- IntegralSpecialization.lean 6 declarations
- Profile.lean 12 declarations
- ProfileDefinitions.lean 3 declarations
- RadialIntegral.lean 8 declarations
- RateAssembly.lean 4 declarations
- RateCertificates.lean 1 declarations
- RateCertificatesDefinitions.lean 3 declarations
- RateCost.lean 10 declarations
- RatePhysical.lean 4 declarations
- RateUniform.lean 1 declarations
- RetainedArea.lean 31 declarations
- Rows.lean 2 declarations
- ShadowConsequences.lean 5 declarations
- ShadowMeasure.lean 2 declarations
- ShadowSimilarity.lean 8 declarations
- ShadowSimilarityDefinitions.lean 2 declarations
- ShearC1.lean 22 declarations
- ShearDefinitions.lean 3 declarations
- Similarity.lean 10 declarations
- SimilarityDefinitions.lean 2 declarations
- SmoothProducer.lean 3 declarations
- SmoothRate.lean 6 declarations
- SmoothRateDefinitions.lean 16 declarations
- SmoothRateTheorem.lean 1 declarations
- Theorem.lean 2 declarations
- Volume.lean 2 declarations
- ZeroProfile.lean 1 declarations