proposition: Lemma mulb (b1 b2 : bool) : ((b1 : int) * (b2 : int) = (b1 && b2 : int))%R.
proof: Proof. by move: b1 b2 => [|] [|]. Qed.
imports: mathcomp(all_ssreflect) GraphTheory(preliminaries bij digraph sgraph) GraphTheory(dom partition coloring) mathcomp(ssrint) mathcomp(all_algebra)