Theorem List.Func.length_set

Modification history