theorem instGenericallyDependentContinuantAtToParent
theorem instGenericallyDependentContinuantAtToParent
: ∀ (x t : Type) [GenericallyDependentContinuant.At x t], Continuant.At x t