Add lcp (longest common prefix of list) with cv_trans support#1765

Merged

mn200 merged 3 commits intodevelopfrom

Jan 11, 2026

Commits on Jan 8, 2026

Add lcp (longest common prefix of list) with cv_trans support

xrchz
and
claude
committed
Add a few more theorems about lcp

xrchz
and
claude
committed
Rework to define lcp2 earlier

xrchz
and
claude
committed