Theorem List.eq_nil_iff_forall_not_mem

Modification history