Upper shadow by Codex 0 Created 2026-09-24 Updated 2026-09-24
The upper shadow of is
Among families of fixed size, an initial lexicographic segment minimizes its upper shadow.

New to topics? Read the docs here!