Skip to content

chore: align List.dropLast/Array.pop lemmas #25890

chore: align List.dropLast/Array.pop lemmas

chore: align List.dropLast/Array.pop lemmas #25890