Theorem List.forall_mem_of_forall_mem_cons

Modification history