proposition: Fact gamma_minset D : dominating D -> W D = gamma_w -> minset dominating D.
proof: Proof. move => domD gammaD; apply: minweight_minset => // A. rewrite -/W gammaD; exact: gamma_min. Qed.
imports: mathcomp(all_ssreflect) GraphTheory(preliminaries digraph sgraph)