Theorem Equiv.Perm.toList_formPerm_nil

Modification history