Theorem Equiv.Perm.mem_toList_iff

Modification history