fact: Definition graphs_relation {k} (gs : list (graph k)) : relation (k_tuple_type k) := list_union (map graph_relation gs).
imports: Equations(Equations) Examples.Fin Relations Utf8 Relations Wellfounded Setoid RelationClasses Morphisms Lia Bool List Arith String Coq(FunctionalExtensionality) ssreflect