Theorem List.dropWhile_eq_self_iff

Modification history