theorem instThreeDimensionalSpatialRegionAtToParent
theorem instThreeDimensionalSpatialRegionAtToParent
: ∀ (x t : Type) [ThreeDimensionalSpatialRegion.At x t], SpatialRegion.At x t