Registry · Remark III.R25 tau-effective not_applicable

III.R25 — BSD Export Contracts

Exports to Part VII (proto-code existence), Part VIII (BSD functional), enrichment ladder, and Ch 50 (enriched bi-square)

Book III Part 6 Ch. 47

Dependency Graph

Depends on (2)

III.T35 III.P27

Lean Formalization

Module:

Symbol: