proposition: Fact ii_minset D : max_st D -> W D = ii_w -> minset max_st D.
proof: Proof. move => max_stD iiD; apply: minweight_minset => // A. rewrite -/W iiD; exact: ii_min. Qed.
imports: mathcomp(all_ssreflect) GraphTheory(preliminaries digraph sgraph)