OAI/Geometry/CubicTorus/Curvature/
300 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- CMCFrameOperator.lean 31 declarations
- CmcStretch.lean 51 declarations
- LinearCMCEquation.lean 39 declarations
- LinearCMCEquationNear.lean 31 declarations
- MinimizerJacobiEquation.lean 20 declarations
- NormalCurvatureScalar.lean 48 declarations
- SurfaceJacobiLocalization.lean 42 declarations
- TorusC2CMCAt.lean 38 declarations