OAI/RepresentationTheory/VertexAlgebra/GeometryContinuation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.jet_hasDerivAt line 12
2. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.velocity_second_formula line 17
3. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.velocity_third_formula line 41
4. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.velocity_fourth_formula line 63
5. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.jacobian_lower_near_identity line 90
6. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.velocity_fourth_bound line 100
7. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.angularVelocity_iteratedDeriv line 145
8. lemma OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.smoothTransition_deriv_bounded line 166
9. theorem OAI.StronglyRationalVOA.PositiveCircleGeometry.SmoothLift.angularStressPath_small_near_identity line 190