theorem Dictionary.instConceptionAtToParent
theorem Dictionary.instConceptionAtToParent
: ∀ (x t : Type) [Conception.At x t], GenericallyDependentContinuant.At x t