Theorem List.destutter_singleton

Modification history