Skip to content

chore: generalize List.get_mem #6389

chore: generalize List.get_mem

chore: generalize List.get_mem #6389

check-lean-files

succeeded Nov 15, 2024 in 29s