Theorem Equiv.Perm.toList_formPerm_isRotated_self

Modification history