theorem instQualityAtToParent
theorem instQualityAtToParent: ∀ (x t : Type) [Quality.At x t], SpecificallyDependentContinuant.At x t
theorem instQualityAtToParent
theorem instQualityAtToParent: ∀ (x t : Type) [Quality.At x t], SpecificallyDependentContinuant.At x t