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