Theorem List.destutter_cons'

Modification history