Theorem List.perm_insertNth

Modification history