Skip to content

chore: alignment of Array.any/all lemmas with List#6353

Merged
kim-em merged 2 commits intomasterfrom array_anyDec 10, 2024