7.1. Keystones🔗

• SmoothPath

lineIntegral — source · report an issue

noncomputable def lineIntegral {X : Type*} [TopologicalSpace X] [T2Space X] [CompactSpace X]
    [ConnectedSpace X] [ChartedSpace ℂ X] [IsManifold 𝓘(ℂ) ω X] (α : HolomorphicOneForms X)
    (γ : ℝ → X) : ℂ