Theorem List.subset_insertIdx

Modification history