Definition isaset_node (G : cgraph) : isaset (node G) := pr12 G.
Require Import UniMath.MoreFoundations.Propositions. Require Import UniMath.MoreFoundations.PartD. Require Import UniMath.Combinatorics.Graph.