Registry · Remark III.R26 tau-effective not_applicable

III.R26 — Part VI Export Contracts

Exports to Part VII (proto-codes, enriched bi-square, functoriality), Part VIII (BSD, duality, comparison), and Master Schema

Book III Part 6 Ch. 51

Dependency Graph

Depends on (1)

III.T40

Lean Formalization

Module:

Symbol: