Theorem List.perm_append_right_iff

Modification history