Semakan sejarah "equality of natural numbers" (Z13522)
Pemilihan perbezaan: tandakan butang radio bagi versi-versi yang ingin dibandingkan dan tekan butang enter atau butang di bawah.
Petunjuk: (betiru) = perbezaan dengan versi terkini, (demburi) = perbezaan dengan versi sebelumnya, k = suntingan kecil.