fact: Definition label_preserving_graph_isomorphism `(g: @LabeledGraph V E EV EE DV DE DG) g': Prop := exists vmap vmap' emap emap', label_preserving_graph_isomorphism_explicit g g' vmap vmap' emap emap'.
imports: Coq.Lists.List Coq.Program.Basics CertiGraph.lib.Coqlib CertiGraph.graph.graph_model CertiGraph.lib.EquivDec_ext