Theorem List.takeWhile_nil

Modification history