Theorem List.formPerm_rotate

Modification history