Registry · Definition II.D53 established formalized

II.D53 — Self-Enrichment Structure

Self-Enrichment Structure

Book II Part 8 Ch. 42

Dependency Graph

Depends on (8)

I.D20 I.D21 I.T05 I.T40 II.L07 II.D49 II.T33 II.D50

Depended on by (13)

II.D55 II.D56 II.D57 II.D58 II.D88 II.L11 II.P12 II.P21 II.R14 II.R15 II.T36 III.D04 III.R05

Lean Formalization

Module: TauLib.BookII.Enrichment.SelfEnrichment

Symbol: Tau.BookII.Enrichment.hom_stage