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