Theorem List.takeWhile_eq_self_iff

Modification history