theorem instTemporalIntervalAtToParent
theorem instTemporalIntervalAtToParent
: ∀ (x t : Type) [TemporalInterval.At x t], OneDimensionalTemporalRegion.At x t