theorem instTemporalInstantAtToParent
theorem instTemporalInstantAtToParent
: ∀ (x t : Type) [TemporalInstant.At x t], ZeroDimensionalTemporalRegion.At x t