theorem Dictionary.instInformationAtToParent
theorem Dictionary.instInformationAtToParent
: ∀ (x t : Type) [Information.At x t], GenericallyDependentContinuant.At x t