OAI/Geometry/BallPacking/Degree/
154 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- BoxContinuation.lean 49 declarations
- ChartFormZeroExtension.lean 46 declarations
- EuclideanAtlasTransport.lean 19 declarations
- HomotopyFlux.lean 40 declarations