Manuscript VII-F@1 · VII-F.tex · section · 2d81c03f
A finite reversible extension
Exact finite decoder and reversible implementation › A finite reversible extension · lines 1615–1619
Only this elementary finite-permutation argument is needed; no efficiency claim is made.