OAI/Geometry/SurfaceImmersion/Primitive/CircularProfileThreshold.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fixed coefficient bounds and a spatial turn threshold, chosen before any angular function or any of its derivatives.

  1. theorem OAI.ClosedSurfaceR4.GeometryPreservation.compact_circular_profile_threshold line 14