Registry · Definition II.D47 established formalized

II.D47 — Holomorphic Presheaf

Holomorphic Presheaf

Book II Part 6 Ch. 36

Dependency Graph

Depends on (3)

II.D10 II.T27 II.D45

Depended on by (5)

II.D50 II.D52 II.D86 II.L06 II.T32

Lean Formalization

Module: TauLib.BookII.Hartogs.SheafCoherence

Symbol: presheaf_assign