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

Annotations

3 errors and 1 warning

Nix Linux

cancelled Feb 24, 2025 in 45s