Historial de revisões de "equality of natural numbers" (Z13522)
Selección de diferenzas: Marque os botóns circulares das versións que queira comparar e prema a tecla Intro ou no botón ao final.
Lenda: (actual) = diferenza coa versión actual, (anterior) = diferenza coa versión anterior, m = edición pequena.