Theorem List.Func.get_neg

Modification history