Theorem List.Perm.append_left

Modification history