Theorem List.perm_insert_swap

Modification history