OAI/Geometry/WeakMTW/Support/
125 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- ActiveCollisionExclusion.lean 6 declarations
- ActiveContinuation.lean 3 declarations
- ActiveGraphLimits.lean 3 declarations
- ActiveRepresentation.lean 4 declarations
- ActiveSmallScale.lean 2 declarations
- ActiveSupports.lean 5 declarations
- AllScales.lean 1 declarations
- BranchCollisionLimits.lean 1 declarations
- CollisionBranches.lean 5 declarations
- CollisionCalculus.lean 1 declarations
- CollisionGeometry.lean 5 declarations
- CollisionGradient.lean 2 declarations
- CollisionStrictGap.lean 1 declarations
- CollisionTangentCoordinates.lean 4 declarations
- CompactHomotopyContinuation.lean 4 declarations
- CompactLimitInjectivity.lean 2 declarations
- ConvexRepresentation.lean 1 declarations
- CriticalCollision.lean 1 declarations
- CriticalHessianGap.lean 2 declarations
- CriticalJensen.lean 3 declarations
- CriticalLocalTheorem.lean 2 declarations
- CriticalNonconjugacy.lean 1 declarations
- FiberHullCompact.lean 3 declarations
- FiniteActiveGraph.lean 13 declarations
- FirstCutSupport.lean 32 declarations
- FirstScale.lean 1 declarations
- InteriorCharacterization.lean 3 declarations
- NormalizedSeparation.lean 3 declarations
- TangentHullCompact.lean 4 declarations
- TotalInterior.lean 5 declarations
- TransverseJensen.lean 2 declarations