Theorem List.IsPrefix.take

Modification history