Theorem Batteries.DList.toList_append

Modification history