fact: Definition funcomp {X Y Z} (g : Y -> Z) (f : X -> Y) := fun x => g (f x).
imports: Undecidability.Synthetic(Definitions DecidabilityFacts EnumerabilityFacts ListEnumerabilityFacts ReducibilityFacts) Undecidability(Shared.ListAutomation) Undecidability(Shared.Libs.PSL.Vectors.Vectors)