Theorem Std.DList.ofList_toList

Modification history