Theorem List.insert_nil

Modification history