fact: Definition sizeOfEnum {U} {A: Ensemble U} (H: Enumerable U A) : nat := length (proj1_sig H).
imports: Coq.Sorting.Permutation Coq.Classes.EquivDec CertiGraph.lib.Coqlib CertiGraph.lib.List_ext CertiGraph.lib.Ensembles_ext Coq.Lists.List