Theorem List.sizeOf_dropSlice_lt

Modification history