19.1. Keystones🔗

• finiteDimensional_cechH1

exists_cechModel — source · report an issue

theorem exists_cechModel (𝔘 : FiniteCover X) (D : Divisor X) :
    ∃ (d : DiskOverlapData) (c : Coboundaries d), Nonempty (𝔘.cechH1 D ≃ₗ[ℂ] c.supH1)

• cohomological χ(D) ledger