Corpus
Corpus · Registry · Theorem I.T54 tau-effective planned

I.T54 — NF Confluence / Church-Rosser for tau-kernel (Hinge 7)

NF Confluence / Church-Rosser for the tau-kernel is a public Registry object from Book I Hinge 7. The public object page is generated so dependency links resolve while the underlying manuscript/proof projection remains planned.

Registry Book I

Corpus Position

This object is part of the versioned public corpus. Read it together with the type grammar, the corpus reading guide, and the versioning model.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert