Theorem Equiv.Perm.toList_ne_singleton

Modification history