Theorem List.perm_orderedInsert

Modification history