theorem instMaterialEntityIsToParent
theorem instMaterialEntityIsToParent: ∀ (x : Type) [MaterialEntity.Is x], IndependentContinuant.Is x
theorem instMaterialEntityIsToParent
theorem instMaterialEntityIsToParent: ∀ (x : Type) [MaterialEntity.Is x], IndependentContinuant.Is x