Theorem List.destutter_cons_cons

Modification history