Theorem Equiv.Perm.formPerm_toList

Modification history