Theorem Batteries.DList_singleton

Modification history