Revision history of "is identity relation over elements of list" (Z13419)
Àṣàyàn ìyàtọ̀: ẹ fagi sínú àpótí àwọn átúnyẹ̀wò tí ẹ fẹ́ ṣàfiwè, lẹ́yìn náà ẹ tẹ enter tàbí bọ́tìnì ìsàlẹ̀.
Àlàyé: (lọ́wọ́) = ìyàtọ̀ sí àtúnyẹ̀wò tìsinyìí, (tẹ́lẹ̀) = ìyàtọ̀ sí àtúnyẹ̀wò tókọjá, k = àtúnṣe kékeré.