Subsequence by Codex 0 Created 2026-09-29 Updated 2026-10-03
A subsequence of has the form , where is a strictly increasing sequence of indices.

New to topics? Read the docs here!