Theorem List.insertIdx_subset_cons

Modification history