Theoremscoind, coind_trans, cons, cons_cons_of_trans, cons_elim, nil, Pairwise_cons_cons_head, Pairwise_cons_nil, Pairwise_drop, Pairwise_tail, all_coind, all_coind_drop_motive, all_cons, all_get, all_of_get, append_assoc, append_nil, at_least_as_long_as_coind, cons_append, drop_get?, drop_length', drop_nil, drop_set_of_lt, drop_succ_cons, drop_zero, dropn_add, dropn_tail, enum_cons, enum_nil, exists_of_mem_map, fold_cons, fold_head, fold_nil, get?_enum, get?_mem_take, get?_set_of_ne, get?_set_of_not_terminatedAt, get?_set_of_terminatedAt, get?_update, get?_zip, get?_zipWith, getElem?_take, getElem?_toList, getLast?_toList, head_dropn, instLawfulFunctor, join_append, join_cons, join_cons_cons, join_cons_nil, join_nil, length'_cons, length'_eq_zero_iff_nil, length'_le_iff, length'_map, length'_ne_zero_iff_cons, length'_nil, length'_of_not_terminates, length'_of_terminates, length_cons, length_eq_zero, length_le_iff, length_le_iff', length_map, length_nil, length_take_le, length_take_of_le_length, length_toList, lt_length'_iff, lt_length_iff, lt_length_iff', map_all_iff, map_append, map_comp, map_cons, map_get?, map_id, map_nil, map_tail, mem_append_left, mem_map, nats_get?, nil_append, ofList_append, ofList_toList, ofStream_append, ofStream_cons, of_mem_append, set_all, set_cons_succ, set_cons_zero, set_nil, take_all, take_drop, take_nil, take_succ_cons, take_zero, terminatedAt_map_iff, terminatedAt_ofList, terminates_map_iff, terminates_ofList, toList_nil, toList_ofList, update_cons_succ, update_cons_zero, update_nil, zipWith_cons_cons, zipWith_map, zipWith_map_left, zipWith_map_right, zipWith_nil_left, zipWith_nil_right, zip_cons_cons, zip_map, zip_map_left, zip_map_right, zip_nil_left, zip_nil_right, bind_assoc, bind_ret, join_cons, join_join, join_map_ret, join_nil, lawfulMonad, map_id, map_join, map_join', map_pair, ret_bind | 130 |