fact: Definition scons {X: Type} (x : X) (xi : nat -> X) := fun n => match n with | 0 => x | S n => xi n end.
imports: Undecidability.Synthetic(Definitions DecidabilityFacts EnumerabilityFacts ListEnumerabilityFacts ReducibilityFacts) Undecidability(Shared.ListAutomation) Undecidability(Shared.Libs.PSL.Vectors.Vectors)