OAI/Geometry/BallPacking/Continuation/
115 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- CompatibleHomotopy.lean 61 declarations
- ParameterizedImplicit.lean 33 declarations
- ProperPaths.lean 21 declarations