Theorem List.destutter'_cons_pos

Modification history