Theorem List.destutter_sublist

Modification history