OAI/Geometry/CubicTorus/Profiles/
8588 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- AtanPoly.lean 85 declarations
- AxisCircleLebesgue.lean 49 declarations
- CMCSecantSymbol.lean 36 declarations
- CenteredJacobiChart.lean 36 declarations
- CornerGrid155.lean 114 declarations
- CornerGrid269.lean 112 declarations
- CornerGrid381.lean 143 declarations
- CornerGrid42.lean 113 declarations
- Endpoint.lean 17 declarations
- FirstAxisShift.lean 35 declarations
- FirstSeamFunction.lean 46 declarations
- FlatTranslation.lean 30 declarations
- FourStarScalarGrid.lean 64 declarations
- GainBounds.lean 189 declarations
- GainEnclosure150.lean 93 declarations
- MinimizerFirstTransitionTube.lean 22 declarations
- NestingBaseline.lean 40 declarations
- NestingEndpointBound.lean 31 declarations
- NodalTorusScalar.lean 51 declarations
- NormalMap.lean 40 declarations
- NormalTransverseLength.lean 68 declarations
- NormalizedCMCCharts.lean 48 declarations
- OctantVertex.lean 63 declarations
- PlanarProfile.lean 70 declarations
- PlanarRadialDownset.lean 57 declarations
- PlanarWeakGradient.lean 38 declarations
- ProfileBounds.lean 76 declarations
- SectionExtentBounds.lean 76 declarations
- SharpSectionWeight.lean 36 declarations
- SiblingCmcSecant.lean 42 declarations
- SiblingPlaneCarlemanS.lean 41 declarations
- SmoothSeamProbability.lean 23 declarations
- TransverseTorus.lean 45 declarations
- ValueEnclosures1165To1383.lean 437 declarations
- ValueEnclosures1384To1602.lean 438 declarations
- ValueEnclosures1603To1821.lean 438 declarations
- ValueEnclosures1822To2041.lean 441 declarations
- ValueEnclosures2042To2262.lean 441 declarations
- ValueEnclosures2263To2479.lean 435 declarations
- ValueEnclosures2480To2700.lean 441 declarations
- ValueEnclosures2701To2920.lean 441 declarations
- ValueEnclosures289To507.lean 438 declarations
- ValueEnclosures2921To3142.lean 444 declarations
- ValueEnclosures3143To3335.lean 416 declarations
- ValueEnclosures508To725.lean 435 declarations
- ValueEnclosures726To944.lean 438 declarations
- ValueEnclosures72To288.lean 435 declarations
- ValueEnclosures945To1164.lean 441 declarations