Theorem Equiv.Perm.toList_formPerm_singleton

Modification history