Theorem List.formPerm_reverse

Modification history