Theorem List.Func.length_neg

Modification history