theorem Dictionary.instStateAtToParent
theorem Dictionary.instStateAtToParent
: ∀ (x t : Type) [State.At x t], GenericallyDependentContinuant.At x t