Property information

comment

t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)

term editor

David Osumi-Sutherland

Property relations