Registry · Proposition
IV.P257
framework
not_formalized
IV.P257 — C-Sector Contractivity
The C-sector tower on tau3 has a contractive defect functional. The contraction factor satisfies: equation c...
Book IV
Part 4
Ch. 31