Theorem List.insert_neg

Modification history