Registry · Definition II.D47 established formalized

II.D47 — Holomorphic Presheaf

Holomorphic Presheaf

Book II Part 6 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (5)

Lean Formalization

Module: TauLib.BookII.Hartogs.SheafCoherence

Symbol: presheaf_assign