Theorem List.takeWhile_cons

Modification history