Theorem List.destutter_nil

Modification history