feat(library/data/list): add mem_is_decidable and not_mem_find theorems