Theorem List.destutter'_cons

Modification history