proposition: Lemma enumerable_enum {X} {p : X -> Prop} : enumerable p <-> list_enumerable p.
proof: Proof. split; eauto. Qed.
imports: Undecidability.Synthetic(DecidabilityFacts SemiDecidabilityFacts EnumerabilityFacts) Undecidability.Shared.Dec List Undecidability.Shared.Dec