Registry · Remark III.R27 tau-effective not_applicable

III.R27 — Part VI Coherence Summary

Self-check: 8 chapters, 23 registry entries, logical chain from enrichment functor to tower assembly

Book III Part 6 Ch. 51

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: