fact: Definition el_T {X} {f} `{list_enumerator__T f X} : list_enumerator__T L_T X.
imports: Undecidability.Synthetic(DecidabilityFacts SemiDecidabilityFacts EnumerabilityFacts) Undecidability.Shared.Dec List Undecidability.Shared.Dec