Theorem List.destutter'_nil

Modification history