OAI/Geometry/IsometricImmersion/Energy/WeightPrimitiveParameter.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SmoothLocal.Weighted.coefficient_pair_contDiffOn line 14
2. theorem OAI.SmoothLocal.Weighted.coefficient_pairPartialY line 22
3. theorem OAI.SmoothLocal.Weighted.coordinatePrimitive_partial_s line 42
4. theorem OAI.SmoothLocal.Weighted.coordinatePrimitive_segment_intervalIntegrable line 76
5. theorem OAI.SmoothLocal.Weighted.coordinatePrimitive_abs_bound line 90
6. theorem OAI.SmoothLocal.Weighted.coordinatePrimitive_partial_s_bound line 112