28.1. Keystones🔗

FiniteCover.h1Dim_zero_eq_genus — source · report an issue

theorem FiniteCover.h1Dim_zero_eq_genus (𝔘 : FiniteCover X) (hR : 𝔘.LocallyRealizable) :
    𝔘.h1Dim 0 = genus X