List: new lemmas: `subseq_catR`, `subseq_catL`, `subseq_consI`, `subseq_take`, `subseq_drop`, `subseq_drop_congr`#807

Merged

strub merged 1 commit into

mainfrom

new-lemmas-List

Sep 12, 2025

Commits on Sep 10, 2025

List: new lemmas: subseq_catR, subseq_catL, subseq_consI, subseq_take, subseq_drop, subseq_drop_congr
namasikanam
committed