Revision history of "equality of natural numbers" (Z13522)
Аермаларны сайлау: чагыштыру өчен юрама күчергечләрен билгеләгез һәм Enter яки астагы төймәгә басыгыз.
Шартлы билгеләмәләр: (хәз.) = соңгы юрама белән аерма, (алд.) = алдагы юрама белән аерма, к = зур булмаган төзәтмә.