Является ли python uuid1 последовательным как временные метки?

Python docs утверждает, что uuid1 использует текущее время для формирования значения uuid. Но я не смог найти ссылку, которая гарантирует, что UUID1 является последовательным.

>>> import uuid
>>> u1 = uuid.uuid1()
>>> u2 = uuid.uuid1()
>>> u1 < u2
True
>>>