Theorem List.takeWhile_eq_nil_iff

Modification history