Theorem Std.DList.toList_singleton

Modification history