Theorem List.mem_destutter'

Modification history