Skip to content

feat: lemmas about List.tail#5360

Merged
kim-em merged 2 commits intomasterfrom tail_lemmasSep 16, 2024

Commits

Commits on Sep 16, 2024