Theoremsall_def, any_def, append_append_stream, append_eq_cons, append_left_injective, append_right_inj, append_right_injective, append_stream_head_tail, append_take, append_take_drop, bisim_simple, coinduction, composition, concat_take_get, cons_append_stream, cons_get_inits_core, cons_head_tail, cons_injective2, cons_injective_left, cons_injective_right, const_eq, corec'_eq, corec_def, corec_eq, corec_id_f_eq_iterate, corec_id_id_eq_const, cycle_eq, cycle_g_cons, cycle_singleton, dropLast_take, drop_append_of_le_length, drop_append_stream, drop_const, drop_drop, drop_map, drop_succ, drop_tail', drop_zero, drop_zip, enum_eq_zip, eq_of_bisim, eq_or_mem_of_mem_cons, eta, even_cons_cons, even_interleave, even_tail, exists_of_mem_map, ext, ext_iff, getElem?_take, getElem?_take_succ, get_append_left, get_append_length, get_append_right, get_cons_append_zero, get_const, get_drop, get_enum, get_even, get_inits, get_interleave_left, get_interleave_right, get_map, get_nats, get_odd, get_of_bisim, get_succ, get_succ_cons, get_succ_iterate, get_succ_iterate', get_tail, get_tails, get_unfolds_head_tail, get_zero_cons, get_zero_iterate, get_zip, head_cons, head_drop, head_even, head_iterate, head_map, head_zip, homomorphism, identity, inits_core_eq, inits_eq, inits_tail, interchange, interleave_eq, interleave_even_odd, interleave_tail_tail, iterate_eq, iterate_id, length_take, map_append_stream, map_cons, map_const, map_eq, map_eq_apply, map_id, map_iterate, map_map, map_tail, map_take, mem_append_stream_left, mem_append_stream_right, mem_cons, mem_cons_of_mem, mem_const, mem_cycle, mem_iff_exists_get_eq, mem_interleave_left, mem_interleave_right, mem_map, mem_of_get_eq, mem_of_mem_even, mem_of_mem_odd, nats_eq, nil_append_stream, odd_eq, tail_cons, tail_const, tail_drop, tail_drop', tail_eq_drop, tail_even, tail_inits, tail_interleave, tail_iterate, tail_map, tail_zip, tails_eq, tails_eq_iterate, take_add, take_append_of_le_length, take_drop, take_get, take_prefix, take_prefix_take_left, take_succ, take_succ', take_succ_cons, take_take, take_theorem, take_zero, unfolds_eq, unfolds_head_eq, zip_eq, zip_inits_tails | 149 |