proposition: Lemma glue2_sym : symmetric glue2_rel.
proof: Proof. move => [u|u] [v|v] //=; by rewrite sgP. Qed.
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries digraph sgraph) GraphTheory(connectivity minor treewidth arc set_tac)