Theorem List.dropLast_prefix

Modification history