fact: Definition G := @UAdjMatGG size inf.
imports: CertiGraph.prim.prim_env CertiGraph.priq.priq_arr_specs CertiGraph.graph.MathUAdjMatGraph CertiGraph.prim.prim_constants CertiGraph.graph.SpaceUAdjMatGraph2 CertiGraph.prim.prim2