Theorem List.forall_mem_nil

Modification history