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)

II.D39 II.D40 II.T29 II.D02

Depended on by (1)

II.D44

Lean Formalization

Module: TauLib.BookII.Hartogs.CategoryStructure

Symbol: holend_category_check