Theorem List.perm_append_left_iff

Modification history