Theorem List.singleton_perm_singleton

Modification history