Revision history of "equality of natural numbers" (Z13522)
Leyenda: (akt) = diferensia ku vershon aktual, (prev) = diferensia ku vershon previo, m = editashon menor
Leyenda: (akt) = diferensia ku vershon aktual, (prev) = diferensia ku vershon previo, m = editashon menor