theorem instOneDimensionalTemporalRegionAtToParent
theorem instOneDimensionalTemporalRegionAtToParent
: ∀ (x t : Type) [OneDimensionalTemporalRegion.At x t], TemporalRegion.At x t