Theoremscons_isCycle, count_edges_eq_one, count_support_eq_one, isPath, isTrail, loop_eq, mapEmbedding_coe, mapEmbedding_injective, map_coe, map_injective, mk'_mem_edges_singleton, nil_coe, nodup_support, notMem_edges_of_loop, reverse_coe, singleton_coe, isTrail, ne_nil, not_nil, rotate, toIsTrail, count_support, count_support_of_mem, getVert_endpoint_iff, getVert_injOn, getVert_injOn', getVert_sub_one_ne_getVert_add_one, isCircuit, isPath_of_append_left, isPath_of_append_right, isPath_tail, isPath_takeUntil, map, mapLe, ne_bot, not_nil, not_of_nil, of_mapLe, reverse, rotate, snd_ne_penultimate, support_nodup, three_le_length, toDeleteEdges, toIsCircuit, transfer, concat, cons, disjoint_support_of_append, dropUntil, eq_penultimate_of_mem_edges, eq_snd_of_mem_edges, getVert_eq_end_iff, getVert_eq_start_iff, getVert_injOn, getVert_injOn_iff, isTrail, length_lt, mapLe, mem_support_iff_exists_append, mk', ne_of_mem_support_of_append, nil, of_adj, of_append_left, of_append_right, of_cons, of_map, of_mapLe, reverse, support_nodup, tail, takeUntil, toDeleteEdges, toIsTrail, transfer, cons, count_edges_eq_one, count_edges_le_one, disjoint_edges_takeUntil_dropUntil, dropUntil, edges_nodup, isCycle_cycleBypass, length_le_card_edgeFinset, mapLe, nil, of_append_left, of_append_right, of_cons, of_mapLe, reverse, rotate, takeUntil, bypass_copy, bypass_eq_self_of_length_le, bypass_isPath, concat_isPath_iff, cons_isCycle_iff, cons_isPath_iff, cons_isTrail_iff, cycleBypass_nil, darts_bypass_subset, darts_toPath_subset, edges_bypass_subset, edges_cycleBypass_subset, edges_toPath_subset, endpoint_notMem_support_takeUntil, exists_isPath_forall_isPath_length_le_length, exists_isTrail_forall_isTrail_length_le_length, isCircuit_copy, isCircuit_def, isCycle_copy, isCycle_def, isCycle_iff_isPath_tail_and_le_length, isCycle_reverse, isPath_copy, isPath_def, isPath_iff_eq_nil, isPath_iff_injective_get_support, isPath_of_isSubwalk, isPath_reverse_iff, isTrail_cons, isTrail_copy, isTrail_def, isTrail_of_isSubwalk, length_bypass_le, mapLe_isCycle, mapLe_isPath, mapLe_isTrail, map_isCycle_iff_of_injective, map_isPath_iff_of_injective, map_isPath_of_injective, map_isTrail_iff_of_injective, map_isTrail_of_injective, not_nil_of_isCycle_cons, reverse_isTrail_iff, support_bypass_subset, support_toPath_subset, toDeleteEdges_copy | 139 |