Storico delle revisioni di "equality of natural numbers" (Z13522)
Pû cunfruntu tra virsioni: scègghiri li buttoni currispunnenti ê virsioni di cunfruntari e carcari manna o lu buttuni ô funnu.
Liggenna: (curr) = cunfruntari câ virsioni currenti, (pric) = cunfruntari câ virsioni avanti d’iḍḍa, n = canciamentu nicu