theorem Dictionary.instToolAtToParent
theorem Dictionary.instToolAtToParent
: ∀ (x t : Type) [Tool.At x t], GenericallyDependentContinuant.At x t