Manuscript VII-E-ST@1 · VII-E-ST.tex · section · d28d9c5d
The typed schedule bound
Typed locality, physical containment, and transport › The typed schedule bound · lines 2224–2235
Thus three objects remain:
The second inclusion requires the embedding. This is the distinction compared with VII-J, En03-A, and En05-A CheungTransport,CheungClockLocality.
Displayed formulas in this passage
unlabeled · line 2227