Theorem List.subperm_append_left

Modification history