Theorem List.take_prefix

Modification history