theorem Dictionary.instPredispositionAtToParent
theorem Dictionary.instPredispositionAtToParent
: ∀ (x t : Type) [Predisposition.At x t], Disposition.At x t