Theorem List.perm_insertIdx_iff

Modification history