fact: Definition uniquize {k} (l : list (graph k)) := nodup (@eq_dec_graph k) l.
imports: Equations(Equations) Examples.Fin Relations Utf8 Relations Wellfounded Setoid RelationClasses Morphisms Lia Bool List Arith String Coq(FunctionalExtensionality) ssreflect