the_w:World, e,e':E.
Thm* FairFifo
(e <loc e' 
loc(e) = loc(e') 
Id & e <c e')the_w:World, e,e':E. FairFifo e <c e' time(e)<time(e')| Rank | Theorem | Name |
| 5 | the_w:World, e,e':E.
Thm* FairFifo (e <loc e' loc(e) = loc(e') Id & e <c e') | [w-locl-iff] |
| cites the following: | ||
| 4 | the_w:World, e,e':E. FairFifo e <c e' time(e)<time(e') | [w-causl-time] |