Natural selectors and actual bits
Abstract
Unbounded residual windows
The singleton-W proof uses the exhaustive quotient split z=y, z=2y, or z>=4y and proves both W windows even with early fresh.
Press ← or → to navigate between chapters
Press ? to show this help
Press Esc to hide this help
Unbounded residual windows
The singleton-W proof uses the exhaustive quotient split z=y, z=2y, or z>=4y and proves both W windows even with early fresh.