Registry · Definition II.D87 tau-effective formalized

II.D87 — Sheaf Cohomology Groups

Sheaf cohomology on the primorial tower. H⁰ = global sections (rank 1 for constant sheaf). H¹ = 0 (ultrametric cover is acyclic).

Book II Part 9 Ch. 50

Dependency Graph

Depends on (1)

II.D86

Depended on by (3)

II.P20 II.R37 II.T55

Lean Formalization

Module: TauLib.BookII.CentralTheorem.SheafCohomology

Symbol: h0_global_sections