14.1. Keystones🔗

CechH0.h0Dim_eq_lDim — source · report an issue

theorem h0Dim_eq_lDim [T2Space X] [CompactSpace X] [ConnectedSpace X] [ChartedSpace ℂ X]
    [IsManifold 𝓘(ℂ) ω X]
    (D : Divisor X) : 𝔘.h0Dim D = lDim D

• CechComplex / MGerm cochains