Theorem List.perm_singleton

Modification history