Theoremsdrop_scanr, getElem?_partialProds, getElem?_partialSums, getElem?_scanl, getElem?_scanl_zero, getElem?_scanr, getElem?_scanr_of_lt, getElem?_scanr_zero, getElem?_succ_scanl, getElem_flatten, getElem_flatten_aux₁, getElem_flatten_aux₂, getElem_partialProds, getElem_partialSums, getElem_scanl, getElem_scanl_zero, getElem_scanr, getElem_scanr_zero, getElem_succ_scanl, getLast?_scanl, getLast?_scanr, getLast_scanl, getLast_scanr, head_scanl, head_scanr, idRun_scanlM, idRun_scanrM, length_flatten_mem_partialSums_map_length, length_partialProds, length_partialSums, length_scanl, length_scanr, partialProds_append, partialProds_cons, partialProds_nil, partialSums_append, partialSums_cons, partialSums_ne_nil, partialSums_nil, go_eq_append_map, scanAuxM_cons, scanAuxM_nil, scanlM_cons, scanlM_eq_scanrM_reverse, scanlM_map, scanlM_nil, scanlM_pure, scanlM_reverse, scanl_append, scanl_cons, scanl_eq_scanr_reverse, scanl_eq_singleton_iff, scanl_map, scanl_ne_nil, scanl_nil, scanl_reverse, scanl_singleton, scanrM_concat, scanrM_eq_scanlM_reverse, scanrM_map, scanrM_nil, scanrM_pure, scanrM_reverse, scanr_append, scanr_cons, scanr_eq_scanl_reverse, scanr_iff_nil, scanr_map, scanr_ne_nil, scanr_nil, scanr_reverse, scanr_singleton, tail_scanl, tail_scanr, take_partialProds, take_partialSums, take_scanl | 77 |