Theorem Std.DList.toList_push

Modification history