Theorem List.destutter_idem

Modification history