Theorem List.perm_insertIdx_iff_of_le

Modification history