P
Initializing...
Under reflexivity, the two Euclidean forms of the zeroth law are equivalent · Prove2Me