fact: Variables (F: graph) (e: equiv_rel F) (e': equiv_rel (merge F e)).
imports: Coq(Morphisms RelationClasses) mathcomp(all_ssreflect) GraphTheory(edone finite_quotient preliminaries bij) GraphTheory(equiv digraph setoid_bigop structures)