Theorem Equiv.Perm.getElem_toList

Modification history