OAI/Geometry/BallPacking/Fredholm/
427 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- CompactFredholmAlternative.lean 51 declarations
- FiniteExtensions.lean 41 declarations
- FrameFredholm.lean 58 declarations
- FreeLinearization.lean 44 declarations
- NonlinearReduction.lean 52 declarations
- PointwiseMarkedCR.lean 58 declarations
- ProjectionTimeGrid.lean 31 declarations
- SurjectiveParametricReduction.lean 38 declarations
- TranslationContinuity.lean 54 declarations