theorem instZeroDimensionalTemporalRegionAtToParent
theorem instZeroDimensionalTemporalRegionAtToParent
: ∀ (x t : Type) [ZeroDimensionalTemporalRegion.At x t], TemporalRegion.At x t