theorem instCapabilitySetAtToParent
theorem instCapabilitySetAtToParent
: ∀ (x t : Type) [CapabilitySet.At x t], GenericallyDependentContinuant.At x t