Revision history of "is identity relation over elements of list" (Z13419)
Ad seligendas differentias nota diversarum redactionum bullas et agi iube!
Legenda: (nov) = differentiam monstrabit inter hanc et novissimam redactionem,
(prox) = differentiam monstrabit inter hanc et superiorem redactionem,
(m) = recensio minor.