Theorem List.subperm_append_right

Modification history