fact: Definition g (P : stack bool) (A : list nat) := map (fun n => nth n P ( [], [] )) A.
imports: List Undecidability.PCP.PCP Undecidability.PCP.Util.Facts Undecidability.PCP.Util.PCP_facts Undecidability.Synthetic.Definitions