Minerval

← claim page

Every sequence of length k(k+3)/2 decomposes into a union of k monotone sequences.

1 event · 0 assessments

  1. Sep 13, 2026 · Extractor

    Claim entered the graph

Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.