Registry · Theorem
IV.T242
tau-effective
not_formalized
IV.T242 — CF Compression
The first 13 CF partial quotients of iota_tau carry a total self-information of 42.8 bits (computed from the...
Book IV
Part 3
Ch. 27