theorem instContinuantFiatBoundaryAtToParent
theorem instContinuantFiatBoundaryAtToParent: ∀ (x t : Type) [ContinuantFiatBoundary.At x t], ImmaterialEntity.At x t
theorem instContinuantFiatBoundaryAtToParent
theorem instContinuantFiatBoundaryAtToParent: ∀ (x t : Type) [ContinuantFiatBoundary.At x t], ImmaterialEntity.At x t