Theorem List.perm_append_singleton

Modification history