Theorem List.takeWhile_prefix

Modification history