29 Sep
2020
29 Sep
'20
5:52 a.m.
But we're talking about xor for the Word64 type, so it is slightly more complicated to prove that it has a unit.