Theorem List.Func.length_sub

Modification history