fact: Definition inf_list_enumerable__T X := { f : nat -> list X | list_enumerator__T f X }.
imports: Undecidability.Synthetic(DecidabilityFacts SemiDecidabilityFacts EnumerabilityFacts) Undecidability.Shared.Dec List