Registry · Theorem
IV.T353
conjectural
not_formalized
IV.T353 — τ-Gap Meta-Theorem
Let \f_n\_n 0 be an NF-discrete tower on tau3 with: enumerate Contractive defect functional (Definition...
Book IV
Part 4
Ch. 31