Skip to content

chore: List.modifyTailIdx naming fix #6157

chore: List.modifyTailIdx naming fix

chore: List.modifyTailIdx naming fix #6157

check-lean-files

succeeded Nov 8, 2024 in 23s