Theorem List.formPerm_singleton

Modification history