Registry · Definition II.D41 established formalized

II.D41 — Holomorphic Endomorphism Category

Holomorphic Endomorphism Category

Book II Part 6 Ch. 33

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Hartogs.CategoryStructure

Symbol: holend_category_check