theorem instCapabilitySetIsToParent
theorem instCapabilitySetIsToParent: ∀ (x : Type) [CapabilitySet.Is x], GenericallyDependentContinuant.Is x
theorem instCapabilitySetIsToParent
theorem instCapabilitySetIsToParent: ∀ (x : Type) [CapabilitySet.Is x], GenericallyDependentContinuant.Is x