Theorem List.Func.add_nil

Modification history