Chances are good it’s indeed unique (even more so within the TTN infrastructure), but just for the sake of completeness: that’s not guaranteed. See discussion and alternative at DevEUI for non-hardware assigned values and Generated Device EUI clashes with officially assigned EUIs.