Theorem List.dropWhile_eq_nil_iff

Modification history